Institutional Repository
 
Filters: Date: "1990" Department: "Computing, School of"
1 - 25 of 19
Number of results to display per page
TitleDateTypeSetname
1 A scheduling strategy for shared memory multiprocessors1990Textir_uspace
2 An axiomatic approach for solving geometric problems symbolically1990Textir_uspace
3 C-RISC A C language reduced instruction set computer1990Textir_uspace
4 CBCV: A CAD-based vision system1990Textir_uspace
5 Concurrent Scheme1990Textir_uspace
6 Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design1990Textir_uspace
7 Detecting ambiguities: an optimistic approach to robustness problems in computational geometry1990Textir_uspace
8 DI - An object-oriented user interface toolbox for modula-2 applications1990Textir_uspace
9 DPOS programming manual1990Textir_uspace
10 DPOS: A metalanguage and programming environment for parallel processors1990Textir_uspace
11 Elastic and Plastic Surfaces for Modeling and Animation1990Textir_computersa
12 hopCP: language definition, semantics and examples1990Textir_uspace
13 Interaction with constraints in 3D modeling1990Textir_uspace
14 On the potential of asynchronous pipelined processors1990Textir_uspace
15 Robust regularized set operations on polyhedra1990Textir_uspace
16 Sequencing computational events in heterogeneous distributed systems1990Textir_uspace
17 Some recent asynchronous system design methodologies1990Textir_uspace
18 Static Analysis of Multiparadigm Languages1990Textir_computersa
19 Zo: A framework for autonomous agent behavior specification and analysis1990Textir_uspace
1 - 25 of 19