379 search results - page 39 / 76 » Content Is Capricious: A Case for Dynamic System Generation |
143
click to vote
PCI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The real world we live in is mostly perceived through an incredibly large collection of views generated by humans, machines, and other systems. This is the view reality. ...
176
click to vote
INFOCOM
2009
IEEE
16 years 20 days ago
2009
IEEE
— This work focuses on a class of distributed storage systems whose content may evolve over time. Each component or node of the storage system is mobile and the set of all nodes ...
181
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
155
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
208
click to vote
EUC
2006
Springer
15 years 9 months ago
2006
Springer
Multicore processors promise higher throughput at lower power consumption than single core processors. Thus in the near future they will be widely used in hard real-time systems as...