2468 search results - page 351 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
169
Voted
ECOOPW
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
168
Voted
ICPADS
1994
IEEE
15 years 7 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
164
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
152
Voted
ICPADS
1998
IEEE
15 years 8 months ago
1998
IEEE
The DAG-based task graph model has been found effective in scheduling for performance prediction and optimization of parallel applications. However the scheduling complexity and s...
128
Voted
IOT
2010
15 years 1 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...