1154 search results - page 10 / 231 » Mathematizing C concurrency |
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
CORR
2010
Springer
13 years 7 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...
APPML
2006
13 years 7 months ago
2006
This work deals with the qualitative analysis of a nonlinear integro-differential model of immune competition with special attention to the dynamics of tumor cells contrasted by t...
MPC
2004
Springer
14 years 1 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
ISSAC
1994
Springer
13 years 11 months ago
1994
Springer
