3436 search results - page 203 / 688 » Software Tools for Performance Modeling of Parallel Programs |
112
Voted
ENVSOFT
2006
15 years 2 months ago
2006
GREAT-ER (Geography-referenced Regional Exposure Assessment Tool for European Rivers) is a model system for predicting chemical fate and exposure in surface waters. The GREAT-ER a...
113
Voted
MM
2004
ACM
15 years 8 months ago
2004
ACM
Auracle is a networked sound instrument controlled by the voice. Users jam together over the Internet using only a microphone. Throughout the development process, the authors expe...
108
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
A new high performance computation technique involving multiple processors on a single silicon die is quickly gaining popularity. This new design approach provides very high perfo...
127
Voted
JVA
2006
IEEE
15 years 8 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
93
Voted
ENTCS
2002
15 years 2 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...