Sciweavers

1539 search results - page 243 / 308
» Is it time for real-time functional programming
Sort
View
124
Voted
HASKELL
2006
ACM
15 years 9 months ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
117
Voted
CACM
2011
134views more  CACM 2011»
14 years 7 months ago
Brain-computer interfaces for communication and control
For many years people have speculated that electroencephalographic activity or other electrophysiological measures of brain function might provide a new non-muscular channel for s...
Dennis J. McFarland, Jonathan R. Wolpaw
LCTRTS
2010
Springer
15 years 1 months ago
Improving both the performance benefits and speed of optimization phase sequence searches
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...
Prasad A. Kulkarni, Michael R. Jantz, David B. Wha...
101
Voted
BSN
2009
IEEE
160views Sensor Networks» more  BSN 2009»
15 years 10 months ago
BSN Simulator: Optimizing Application Using System Level Simulation
—A biomonitoring application running on wireless BAN has stringent timing and energy requirements. Developing such applications therefore presents unique challenges in both hardw...
Ioana Cutcutache, Thi Thanh Nga Dang, Wai Kay Leon...
89
Voted
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
15 years 10 months ago
Optimal control of a voice-coil-motor with Coulombic friction
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
Bahne Christiansen, Helmut Maurer, Oliver Zirn