6274 search results - page 970 / 1255 » Proofs, Programs, Processes |
113
click to vote
OOPSLA
2000
Springer
15 years 6 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
139
click to vote
UML
2000
Springer
15 years 6 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
136
click to vote
MICRO
1995
IEEE
15 years 6 months ago
1995
IEEE
Accurate instruction fetch and branch prediction is increasingly important on today’s wide-issue architectures. Fetch prediction is the process of determining the next instructi...
116
click to vote
AIPS
2007
15 years 5 months ago
2007
Several researchers have shown that the efficiency of value iteration, a dynamic programming algorithm for Markov decision processes, can be improved by prioritizing the order of...
122
click to vote
WSC
2008
15 years 5 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...