Sciweavers

1460 search results - page 32 / 292
» Very Lightweight Requirements Modeling
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 3 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
VRST
2005
ACM
14 years 3 months ago
Rapid scene modelling, registration and specification for mixed reality systems
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
Russell M. Freeman, Anthony Steed, Bin Zhou
TVLSI
2008
85views more  TVLSI 2008»
13 years 9 months ago
Low-Complexity Policies for Energy-Performance Tradeoff in Chip-Multi-Processors
Chip-Multi-Processors (CMP) utilize multiple energy-efficient Processing Elements (PEs) to deliver high performance while maintaining an efficient ratio of performance to energy-c...
A. Elyada, Ran Ginosar, Uri Weiser
ATAL
2011
Springer
12 years 9 months ago
Online anomaly detection in unmanned vehicles
Autonomy requires robustness. The use of unmanned (autonomous) vehicles is appealing for tasks which are dangerous or dull. However, increased reliance on autonomous robots increa...
Eliahu Khalastchi, Gal A. Kaminka, Meir Kalech, Ra...
NOSSDAV
2001
Springer
14 years 2 months ago
The utility of feedback in layered multicast congestion control
Layered multicast is a common approach for dissemination of audio and video in heterogeneous network environments. Layered multicast schemes can be classified into two categories...
Sergey Gorinsky, Harrick M. Vin