Sciweavers

17450 search results - page 3077 / 3490
» Numerical Methods with Applications
Sort
View
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 7 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
ARC
2010
Springer
183views Hardware» more  ARC 2010»
15 years 7 months ago
Integrated Design Environment for Reconfigurable HPC
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
Lilian Janin, Shoujie Li, Doug Edwards
JTRES
2010
ACM
15 years 7 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
MM
2010
ACM
252views Multimedia» more  MM 2010»
15 years 7 months ago
Real-time detection of unusual regions in image streams
Automatic and real-time identification of unusual incidents is important for event detection and alarm systems. In today's camera surveillance solutions video streams are dis...
Rene Schuster, Roland Mörzinger, Werner Haas,...
CVPR
2010
IEEE
15 years 7 months ago
Estimating satellite attitude from pushbroom sensors
Linear pushbroom cameras are widely used in passive remote sensing from space as they provide high resolution images. In earth observation applications, where several pushbroom se...
Regis Perrier, Elise Arnaud, Peter F. Sturm, Mathi...
« Prev « First page 3077 / 3490 Last » Next »