Institutional Repository
 
Filters: Department: "Computer Science"
1 - 25 of 16
Number of results to display per page
TitleDateTypeSetname
1 The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
2 The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
3 Algebraic reconstruction optimization through precomputation of weights matrix2021Textir_htoa
4 Asynchronous distributed }OT-Enabled customer characterization in distrubtion networks: theory and hardware implementation2021Textir_htoa
5 Automatic hypertext link creation for legal documents1994-06Textir_htca
6 Cita a matchmaking mobile app: an analysis of why developers choose certain frameworks2021Textir_htoa
7 Computer assisted analysis of left ventricular dynamics1974Textir_htca
8 The design of a help system for a CAI program1986-06Textir_htca
9 Explaining and evaluating the use of RDMA in high performance containers2022Textir_htoa
10 Functional validation and improvement of a low-cost control system for assistive robotic devices2022Textir_htoa
11 General description and user's manual for a computer architecture simulator program1987-06Textir_htca
12 How to stop AI from ruining the world: designing and pilot testing integrated al-ethics assignments2022Textir_htoa
13 Orion: A distributed text retrieval system1995-06Textir_htca
14 User preferences in calendar applications2023Textir_htoa
15 Visualization and validation in Java: A teaching tool2000-12Textir_htca
16 Volume rendering on regular grids using a ray casting method1997-06Textir_htca
1 - 25 of 16