7557 search results - page 554 / 1512 » Modeling Timed Concurrent Systems |
179
click to vote
DEDS
2002
15 years 6 months ago
2002
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
172
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
186
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
182
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
188
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
While exploring value webs -cooperating enterprises- it is common to view such webs from multiple perspectives: (1) the business value perspective, (2) the business process perspe...