Institutional Repository
 
Filters: Department: "Computing, School of"
151 - 175 of 1,117
Number of results to display per page
TitleDateTypeSetname
151 Consistency and currency in functional databases1982Textir_uspace
152 ASSASSIN : a CAD system for self-timed control-unit design1982Textir_uspace
153 Modeling of call - by - need and stream primitives using CCS1982Textir_uspace
154 ADA to silicon transformations: the outline of a method1982Textir_uspace
155 ASSASSIN: an assembly, specification and analysis system for speed-independent control-unit design in integrated circuits using path-programmable logic (PPL)1982-06Textir_computersa
156 FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)1983Textir_uspace
157 Transparent interface between software and hardware versions of ADA compilation units1983Textir_uspace
158 A fault tolerant sensor scheme1983Textir_uspace
159 Transformation of Ada program units into silicon (Fourth Semiannual technical report 83 Apr 1 - 83 Nov 15)1983Textir_uspace
160 Transforming an Ada program unit to silicon and verifying its behavior in an Ada environment: a first experiment1983Textir_uspace
161 Pattern recognition in a multi-sensor environment1983Textir_uspace
162 Some experiments with the 3-D hough shape transform1983Textir_uspace
163 TRACIS: transformations on Ada for circuit synthesis a report on the methodology for a silicon compiler1983Textir_uspace
164 The key node method: a highly-parallel alpha-beta algorithm1983Textir_uspace
165 A general model for the user interface of screen editors1983-03Textir_computersa
166 A graphical workstation and programming environment for data-driven computation1983-03Textir_computersa
167 Interactive Spline Modelling1983-04-27Textir_computersa
168 Applicative updating and provisional computation in functional programming1983-06Textir_computersa
169 Asylim: A simulation and placement checking system for path-programmable logic integrated circuits1983-06Textir_computersa
170 A framework for multi-sensor integration and data acquisition1983-08Textir_computersa
171 GCS: A graphical front end to ASSASSIN1983-08Textir_computersa
172 Constraint driven synthesis of hardware design1983-08Textir_computersa
173 FEL + set abstraction = database query language1983-09Textir_computersa
174 Data structures and system support for a graphical programming language editing and program development environment1983-12Textir_computersa
175 Implementing multi-sensor systems in a functional language1984Textir_uspace
151 - 175 of 1,117