Sciweavers

4679 search results - page 141 / 936
» The Timely Computing Base Model and Architecture
Sort
View
CONCUR
1999
Springer
15 years 2 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
CLUSTER
2007
IEEE
15 years 4 months ago
Building the communication performance model of heterogeneous clusters based on a switched network
— Analytical communication performance models play an important role in prediction of the execution time of parallel applications on multiprocessors. Apart from designing such a ...
Alexey L. Lastovetsky, Vladimir Rychkov
EUROPAR
2009
Springer
15 years 1 months ago
StarPU: A Unified Platform for Task Scheduling on Heterogeneous Multicore Architectures
Abstract. In the field of HPC, the current hardware trend is to design multiprocessor architectures that feature heterogeneous technologies such as specialized coprocessors (e.g., ...
Cédric Augonnet, Samuel Thibault, Raymond N...
SAC
2004
ACM
15 years 3 months ago
Combining analysis and synthesis in a model of a biological cell
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
Ken Webb, Tony White
TOG
2008
134views more  TOG 2008»
14 years 9 months ago
Interactive visual editing of grammars for procedural architecture
We introduce a real-time interactive visual editing paradigm for shape grammars, allowing the creation of rulebases from scratch without text file editing. In previous work, shape...
Markus Lipp, Peter Wonka, Michael Wimmer