4469 search results - page 320 / 894 » Dynamic Program Slicing |
114
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
129
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
125
Voted
EVOW
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Although there is a plentiful literature on the use of evolutionary methodologies for the trading of financial assets, little attention has been paid to potential use of...
120
Voted
AGENTS
2000
Springer
15 years 6 months ago
2000
Springer
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...
107
click to vote
CAISE
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...