8190 search results - page 1349 / 1638 » From Timed to Hybrid Systems |
192
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
170
click to vote
CCS
2007
ACM
16 years 28 days ago
2007
ACM
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
236
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
196
click to vote
HPDC
2006
IEEE
16 years 24 days ago
2006
IEEE
— This paper describes WOW, a distributed system that combines virtual machine, overlay networking and peerto-peer techniques to create scalable wide-area networks of virtual wor...
193
click to vote
MM
2006
ACM
16 years 22 days ago
2006
ACM
We present an efficient system for video search that maximizes the use of human bandwidth, while at the same time exploiting the machine’s ability to learn in real-time from use...