Sciweavers

2555 search results - page 351 / 511
» Putting complex systems to work
Sort
View
DATE
2010
IEEE
134views Hardware» more  DATE 2010»
15 years 10 months ago
Simultaneous budget and buffer size computation for throughput-constrained task graphs
Abstract—Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on...
Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan ...
HICSS
2002
IEEE
123views Biometrics» more  HICSS 2002»
15 years 10 months ago
The Dynamics of IT Adoption in a Major Change Process in Healthcare Delivery
The main objective of the study is to comprehend the dynamics of interactions between partners (caregivers, promoters, consultants, patients and managers) involved in the implemen...
Liette Lapointe, Lise Lamothe, Jean-Paul Fortin
IV
2002
IEEE
141views Visualization» more  IV 2002»
15 years 10 months ago
Cooperative Robot Teleoperation through Virtual Reality Interfaces
Robots are employed to do exacting routines, ranging from the common place to the difficult and from the relatively safe to the highly dangerous. Remote-controlled robots -or tele...
Alexandre Monferrer, David Bonyuet
EVOW
2001
Springer
15 years 10 months ago
Autonomous Photogrammetric Network Design Using Genetic Algorithms
Abstract. This work describes the use of genetic algorithms for automating the photogrammetric network design process. When planning a photogrammetric network, the cameras should b...
Gustavo Olague
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 10 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...