525 search results - page 78 / 105 » Model Checking Systems of Replicated Processes with Spin |
102
Voted
IEICET
2006
15 years 14 days ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
104
Voted
ICS
2009
Tsinghua U.
15 years 7 months ago
2009
Tsinghua U.
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
126
click to vote
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
116
click to vote
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
108
click to vote
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...