5241 search results - page 190 / 1049 » Embedded Programming with C |
77
Voted
ORDER
2000
15 years 12 days ago
2000
We prove that, given a nontrivial Boolean algebra B, a compact convex set S and a group G, there is an orthomodular lattice L with the center isomorphic to B, the automorphism grou...
IJPP
2011
14 years 4 months ago
2011
88
Voted
CASES
2000
ACM
15 years 5 months ago
2000
ACM
Dealing with global on-chip memory allocation/de-allocation in a dynamic yet deterministic way is an important issue for upcoming billion transistor multiprocessor System-on-a-Chi...
118
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
100
click to vote
ECRTS
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...