1593 search results - page 247 / 319 » A visual programming system for automated problem solving |
123
click to vote
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
Parallel, multithreaded C and C++ programs such as web servers, database managers, news servers, and scientific applications are becoming increasingly prevalent. For these applic...
122
Voted
MSS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper shows the suitability of a "self-maintaining" approach to Tertiary Disk, a large-scale disk array system built from commodity components. Instead of incurring...
178
Voted
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
126
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
150
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...