5562 search results - page 842 / 1113 » Implementing Parallel Cell-DEVS |
142
click to vote
C++
1994
15 years 6 months ago
1994
The ADAPTIVE Service eXecutive (ASX) is a highly modular and extensible object-oriented framework that simplifies the development and configuration of distributed applications on ...
146
click to vote
AICOM
2010
15 years 5 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
151
click to vote
ENTCS
2010
15 years 5 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
152
click to vote
ENGL
2008
15 years 5 months ago
2008
dynamic analysis of structures for earthquake induced loads is very expensive in terms of the computational burden. In this study, to reduce the computational effort a new neural s...
173
click to vote
CPHYSICS
2006
15 years 5 months ago
2006
State-of-the-art molecular dynamics (MD) simulations generate massive datasets involving billion-vertex chemical bond networks, which makes data mining based on graph algorithms s...