1271 search results - page 223 / 255 » On Simulation-Checking with Sequential Systems |
139
click to vote
HPDC
2006
IEEE
15 years 9 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...
153
click to vote
CLOUD
2010
ACM
15 years 8 months 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...
146
click to vote
ICPP
2002
IEEE
15 years 8 months 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,...
131
Voted
SIGGRAPH
2010
ACM
15 years 7 months 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...
131
click to vote
ICCAD
2000
IEEE
15 years 7 months 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 ...