SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gau
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we describe an e cient and scalable implementation for grammar induction based on the EMILE approach ( 2], 3], 4], 5], 6]). The current EMILE 4.1 implementa...