8446 search results - page 1181 / 1690 » A Process Compensation Language |
217
click to vote
IRI
2005
IEEE
16 years 19 days ago
2005
IEEE
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...
189
click to vote
AADEBUG
2005
Springer
16 years 18 days ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
192
click to vote
AOSE
2005
Springer
16 years 17 days 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...
173
click to vote
CP
2005
Springer
16 years 17 days ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
173
click to vote
TGC
2005
Springer
16 years 15 days ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...