Sciweavers

5241 search results - page 157 / 1049
» Embedded Programming with C
Sort
View
DSRT
2008
IEEE
15 years 7 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 7 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...
150
Voted
CODES
2002
IEEE
15 years 5 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
65
Voted
SCAM
2009
IEEE
15 years 7 months ago
Lightweight Techniques for Tracking Unique Program Statements
Jaime Spacco, Chadd C. Williams
76
Voted
FSTTCS
2007
Springer
15 years 6 months ago
Adventures in Bidirectional Programming
Benjamin C. Pierce