Sciweavers

659 search results - page 131 / 132
» Integrated Design and Implementation of Digital Controllers
Sort
View
POPL
2007
ACM
14 years 7 months ago
Modular type classes
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Derek Dreyer, Robert Harper, Manuel M. T. Chakrava...
VEE
2009
ACM
146views Virtualization» more  VEE 2009»
14 years 1 months ago
Demystifying magic: high-level low-level programming
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
Daniel Frampton, Stephen M. Blackburn, Perry Cheng...
DATE
2008
IEEE
165views Hardware» more  DATE 2008»
14 years 1 months ago
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
Per Lindgren, Johan Eriksson, Simon Aittamaa, Joha...
IROS
2006
IEEE
231views Robotics» more  IROS 2006»
14 years 27 days ago
MMALV - The Morphing Micro Air-Land Vehicle
– A sensor platform has been developed that is capable of both aerial and terrestrial locomotion, as well as transitioning between the two. The Morphing Micro Air-Land Vehicle (M...
Kevin Jones, Frank Boria, Richard J. Bachmann, Rav...
PDP
2003
IEEE
14 years 4 days ago
QoS-aware Accounting in Mobile Computing Scenarios
The enlarging market of portable devices and wireless networks stimulates the provisioning of mobilityenabled Internet services with differentiated levels of Quality of Service (Q...
Paolo Bellavista, Antonio Corradi, Silvia Vecchi