11374 search results - page 218 / 2275 » A System Demonstration of ST-TCP |
191
click to vote
RTSS
2005
IEEE
16 years 3 days ago
2005
IEEE
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...
175
click to vote
SI3D
2005
ACM
16 years 3 days ago
2005
ACM
The simulation of large crowds of humans is important in many fields of computer graphics, including real-time applications such as games, as they can breathe life into otherwise...
164
click to vote
SIGMETRICS
2005
ACM
16 years 3 days ago
2005
ACM
Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motivatio...
167
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
Understanding the performance of distributed systems requires correlation of thousands of interactions between numerous components — a task best left to a computer. Today’s sy...
159
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...