4480 search results - page 132 / 896 » Prototyping Completion with Constraints Using Computational ... |
206
click to vote
OPODIS
2003
15 years 7 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
168
click to vote
EXPCS
2007
15 years 10 months ago
2007
The evaluation of new network server architectures is usually performed experimentally using either a simulator or a hardware prototype. Accurate simulation of the hardwaresoftwar...
142
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
The rich interaction capabilities of public terminals can make them more convenient to use than small personal devices, such as smart phones. However, the use of public terminals t...
132
click to vote
EUNIS
2001
15 years 7 months ago
2001
Since 1993 we compile and publish twice a year a list of the mostpowerful supercomputers in the world. In this article we compare the situation of High-Performance Computing (HPC)...
168
click to vote
ISSS
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, our memory architecture exploration methodology and CAD techniques for network protocol applications are presented. Prototype tools have been implemented, and appli...