Search Sciweavers | Sciweavers

5241 search results - page 157 / 1049

» Embedded Programming with C

click to vote

DSRT
2008
IEEE

106views Modeling and Simulation» more DSRT 2008»

Simulation and Implementation of the PTIDES Programming Model

15 years 8 months ago

Download chess.eecs.berkeley.edu

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

claim paper

Read More »

139

click to vote

CORR
2011
Springer

180views Education» more CORR 2011»

Representing First-Order Causal Theories by Logic Programs

14 years 9 months ago

Download www.cs.utexas.edu

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 deﬁnit...

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...

claim paper

Read More »

162

click to vote

CODES
2002
IEEE

157views Software Engineering» more CODES 2002»

Hardware support for real-time embedded multiprocessor system-on-a-chip memory management

15 years 7 months ago

Download www.ece.gatech.edu

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

claim paper

Read More »

click to vote

SCAM
2009
IEEE

168views Software Engineering» more SCAM 2009»

Lightweight Techniques for Tracking Unique Program Statements

15 years 9 months ago

Download www.dcs.kcl.ac.uk

Jaime Spacco, Chadd C. Williams

claim paper

Read More »