Sciweavers

5241 search results - page 157 / 1049
» Embedded Programming with C
Sort
View
DSRT
2008
IEEE
15 years 11 months ago
Simulation and Implementation of the PTIDES Programming Model
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Patricia Derler, Edward A. Lee, Slobodan Matic
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 12 months ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
CODES
2002
IEEE
15 years 10 months ago
Hardware support for real-time embedded multiprocessor system-on-a-chip memory management
The aggressive evolution of the semiconductor industry — smaller process geometries, higher densities, and greater chip complexity — has provided design engineers the means to...
Mohamed Shalan, Vincent John Mooney III
98
Voted
SCAM
2009
IEEE
15 years 11 months ago
Lightweight Techniques for Tracking Unique Program Statements
Jaime Spacco, Chadd C. Williams
116
Voted
FSTTCS
2007
Springer
15 years 11 months ago
Adventures in Bidirectional Programming
Benjamin C. Pierce