Sciweavers

289 search results - page 48 / 58
» Compositional analysis for linear control systems
Sort
View
BMCBI
2007
187views more  BMCBI 2007»
13 years 7 months ago
BioWMS: a web-based Workflow Management System for bioinformatics
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
RTSS
2007
IEEE
14 years 2 months ago
Optimal Discrete Rate Adaptation for Distributed Real-Time Systems
Many distributed real-time systems face the challenge of dynamically maximizing system utility and meeting stringent resource constraints in response to fluctuations in system wo...
Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
14 years 2 months ago
Frictional Compliance Model Development and Experiments for Snake Robot Climbing
Abstract— Intelligently utilizing the frictional contact between a robot and its environment can prevent slip, maintain balance, and provide stability during a robot’s motion. ...
Amir Shapiro, Aaron Greenfield, Howie Choset
ICASSP
2011
IEEE
12 years 11 months ago
ECG for blind identity verification in distributed systems
This paper discusses ECG biometric recognition in a distributed system, such as smart cards. In a setting where every card is equipped with an ECG sensor to record heart beats fro...
Jiexin Gao, Foteini Agrafioti, Hoda Mohammadzade, ...
EMSOFT
2009
Springer
14 years 2 months ago
Cache-aware scheduling and analysis for multicores
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
Nan Guan, Martin Stigge, Wang Yi, Ge Yu