5241 search results - page 213 / 1049 » Embedded Programming with C |
156
click to vote
ENTCS
2008
15 years 6 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
162
click to vote
COMBINATORICA
2007
15 years 6 months ago
2007
We derive a sufficient condition for a sparse graph G on n vertices to contain a copy of a tree T of maximum degree at most d on (1 − )n vertices, in terms of the expansion prop...
131
click to vote
C++
1992
15 years 7 months ago
1992
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...
132
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.