5863 search results - page 1090 / 1173 » An evaluation of the TRIPS computer system |
119
click to vote
PRDC
2009
IEEE
15 years 4 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
BTW
2009
Springer
15 years 4 months ago
2009
Springer
: TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of incrementally evaluated SQL queries for analyzing a wide spectrum of data streams. As ap...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
118
click to vote
FDG
2009
ACM
15 years 4 months ago
2009
ACM
In recent years the popularity of music and rhythm-based games has experienced tremendous growth. However almost all of these games require custom hardware to be used as input dev...
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Self-configuring virtual networks rely on structured P2P routing to provide seamless connectivity among nodes through overlay routing of virtual IP packets, support decentralized...