Sciweavers

1598 search results - page 240 / 320
» Integrating Component Tests to System Tests
Sort
View
BMCBI
2007
114views more  BMCBI 2007»
15 years 6 months ago
Mining and state-space modeling and verification of sub-networks from large-scale biomolecular networks
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
Xiaohua Hu, Fang-Xiang Wu
DSD
2006
IEEE
90views Hardware» more  DSD 2006»
16 years 13 days ago
Global Analysis of Resource Arbitration for MPSoC
Modern day applications require use of multi-processor systems for reasons of scalability and power efficiency. As more and more applications are integrated on a single device, m...
Akash Kumar, Bart Mesman, Henk Corporaal, Jef L. v...
ISORC
2003
IEEE
15 years 11 months ago
Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...
Jan Carlson, Tomas Lennvall, Gerhard Fohler
AMS
2007
Springer
229views Robotics» more  AMS 2007»
15 years 10 months ago
A Unified Robotic Software Architecture for Service Robotics and Networks of Smart Sensors
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
Daniel Westhoff, Jianwei Zhang
IPCAI
2010
15 years 10 months ago
Ultrasound Servoing of Catheters for Beating Heart Valve Repair
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
Samuel B. Kesner, Shelten G. Yuen, Robert D. Howe