3955 search results - page 296 / 791 » A Transactional Architecture for Simulation |
127
click to vote
SOFSEM
2004
Springer
16 years 1 days ago
2004
Springer
Multiagent software systems are known to exhibit a system-level behavior that rarely can be predicted from the description of individual agents but must be observed in simulation o...
186
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
208
click to vote
PARCO
2003
15 years 8 months ago
2003
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...
218
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Monitoring and correlation of streaming data from multiple sources is becoming increasingly important in many application areas. Example applications include automated commodities...
190
Voted
JUCS
2008
15 years 6 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...