1271 search results - page 223 / 255 » On Simulation-Checking with Sequential Systems |
HPDC
2006
IEEE
14 years 1 months 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...
CLOUD
2010
ACM
14 years 23 days ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
ICPP
2002
IEEE
14 years 19 days ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...
SIGGRAPH
2010
ACM
14 years 5 days ago
2010
ACM
This paper presents a system for generating dynamic narratives from videos. These narratives are characterized for being compact, coherent and interactive, as inspired by principl...
ICCAD
2000
IEEE
14 years 3 days ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...