Search Sciweavers | Sciweavers

5241 search results - page 157 / 1049

» Embedded Programming with C

145

click to vote

DSRT
2008
IEEE

106views Modeling and Simulation» more DSRT 2008»

Simulation and Implementation of the PTIDES Programming Model

16 years 28 days 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 »

184

click to vote

CORR
2011
Springer

180views Education» more CORR 2011»

Representing First-Order Causal Theories by Logic Programs

15 years 1 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 »

224

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 11 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 »

115

click to vote

SCAM
2009
IEEE

168views Software Engineering» more SCAM 2009»

Lightweight Techniques for Tracking Unique Program Statements

16 years 1 months ago

Download www.dcs.kcl.ac.uk

Jaime Spacco, Chadd C. Williams

claim paper