3828 search results - page 193 / 766 » Proof-Based System Engineering Using a Virtual System Model |
155
click to vote
PDCAT
2007
Springer
16 years 16 days ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
135
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents and validates performance models for a variety of high-performance collective communication algorithms for systems with Cell processors. The systems modeled in...
287
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
177
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
174
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...