Sciweavers

5241 search results - page 190 / 1049
» Embedded Programming with C
Sort
View
91
Voted
ORDER
2000
82views more  ORDER 2000»
15 years 2 months ago
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups
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...
John Harding, Mirko Navara
IJPP
2011
66views more  IJPP 2011»
14 years 5 months ago
ACOTES Project: Advanced Compiler Technologies for Embedded Streaming
Harm Munk, Eduard Ayguadé, Cédric Ba...
CASES
2000
ACM
15 years 6 months ago
A dynamic memory management unit for embedded real-time system-on-a-chip
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...
Mohamed Shalan, Vincent John Mooney III
CODES
2008
IEEE
15 years 4 months ago
Performance debugging of Esterel specifications
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...
Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samar...
113
Voted
ECRTS
2000
IEEE
15 years 6 months ago
Towards validated real-time software
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...
Valérie Bertin, Michel Poize, Jacques Pulou...