2875 search results - page 525 / 575 » Distributed Reactive Machines |
114
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
The definition of a commodity component is quite obvious when it comes to the PC as a basic compute engine and building block for clusters of PCs. Looking at the options for a mo...
PPOPP
2003
ACM
15 years 7 months ago
2003
ACM
In an intelligent memory architecture, the main memory of a computer is enhanced with many simple processors. The result is a highly-parallel, heterogeneous machine that is able t...
ISAAC
2003
Springer
15 years 7 months ago
2003
Springer
Fixed-angle polygonal chains in 3D serve as an interesting model of protein backbones. Here we consider such chains produced inside a “machine” modeled crudely as a cone, and e...
139
Voted
IEEEPACT
2002
IEEE
15 years 7 months ago
2002
IEEE
Simultaneous Multithreading (SMT) processors achieve high processor throughput at the expense of single-thread performance. This paper investigates resource allocation policies fo...
136
Voted
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...