5241 search results - page 213 / 1049 » Embedded Programming with C |
120
Voted
ENTCS
2008
15 years 2 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...
115
click to vote
COMBINATORICA
2007
15 years 2 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...
C++
1992
15 years 3 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 ...
MPC
2004
Springer
15 years 7 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.