11484 search results - page 315 / 2297 » Modeling in the Large and Modeling in the Small |
181
click to vote
ISVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...
161
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Existing devices for communicating information to computers are bulky, slow to use, or unreliable. Dasher is a new interface incorporating language modelling and driven by continu...
169
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
A model for virtual memory in a distributed memory parallel computer is proposed. It uses a novel parallel computing operating system framework and leads to the definition of two ...
161
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
198
click to vote
COOPIS
1995
IEEE
15 years 10 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...