7124 search results - page 873 / 1425 » Programming Languages and Operating Systems |
194
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
169
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
215
click to vote
KI
1998
Springer
15 years 11 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
205
click to vote
AGTIVE
2007
Springer
16 years 29 days ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
159
click to vote
MFCS
1993
Springer
15 years 11 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...