1154 search results - page 70 / 231 » Mathematizing C concurrency |
131
click to vote
ESTIMEDIA
2007
Springer
15 years 9 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
112
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
113
click to vote
MEMOCODE
2010
IEEE
15 years 22 days ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
109
click to vote
DM
2008
15 years 2 months ago
2008
For graphs G and H, let G H denote their Cartesian sum. This paper investigates the chromatic number and the circular chromatic number for GH. It is proved that (G H) max{ c(G)...
126
click to vote
CODES
2000
IEEE
15 years 7 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...