1 - 25 of 14
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 Chop-sat in NON-Euclidean Geometry2024Textir_htoa
6 Cita a matchmaking mobile app: an analysis of why developers choose certain frameworks2021Textir_htoa
7 Designing a large scale software application: the Histia Story2021Textir_htoa
8 Explaining and evaluating the use of RDMA in high performance containers2022Textir_htoa
9 Functional validation and improvement of a low-cost control system for assistive robotic devices2022Textir_htoa
10 How to stop AI from ruining the world: designing and pilot testing integrated al-ethics assignments2022Textir_htoa
11 Improving information extraction from clinical notes with multiple domain models and clustering-based instance selection2017Textir_etd
12 Structural rounding on a parameterized graph class using heuristics2021Textir_htoa
13 User preferences in calendar applications2023Textir_htoa
14 Variable stretch textures on the GPU2023Textir_htoa
1 - 25 of 14