149 search results - page 2 / 30 » CiCUTS: Combining System Execution Modeling Tools with Conti... |
MEMOCODE
2003
IEEE
13 years 9 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
ER
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
ECAI
2000
Springer
13 years 9 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
CCGRID
2006
IEEE
13 years 8 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...