7195 search results - page 571 / 1439 » On Computing Power |
184
click to vote
PVM
2004
Springer
16 years 13 days ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...
218
click to vote
IPPS
2002
IEEE
16 years 1 days ago
2002
IEEE
The increasing gap between processor and memory performance has led to new architectural models for memory-intensive applications. In this paper, we use a set of memory-intensive ...
223
click to vote
REX
1991
15 years 10 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
160
click to vote
ENTCS
2008
15 years 7 months ago
2008
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
197
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
— Performing face detection and tracking on a mobile robot in a dynamic environment is a challenging task with the real-time constraints. To realize a natural reactive behavior o...