46 search results - page 3 / 10 » Guiding simulation with increasingly refined abstract traces |
JSSPP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. The commercial exploitation of the emerging Grid and Cloud markets needs SLAs to sell computing run times. Job traces show that users have a limited ability to estimate t...
GLVLSI
2007
IEEE
13 years 9 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
CODES
2007
IEEE
13 years 9 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
DEXA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
SAB
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Neuromodulators can have a strong effect on how organisms cooperate and compete for resources. To better understand the effect of neuromodulation on cooperative behavior,...