Sciweavers

3146 search results - page 479 / 630
» The use of compiler optimizations for embedded systems softw...
Sort
View
EMSOFT
2007
Springer
16 years 18 days ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
ACMSE
2006
ACM
15 years 8 months ago
Tic-Tac-LEGO: an investigation into coordinated robotic control
The Lego Mindstorms Robot Command eXplorer (RCX) is a popular robotics kit that provides an immediate "out-of-the-box" opportunity to explore software controlled robot i...
Ruben Vuittonet, Jeff Gray
JMS
2008
83views more  JMS 2008»
15 years 6 months ago
Monitoring of Physiological Parameters from Multiple Patients Using Wireless Sensor Network
This paper presents a wireless sensor network system that has the capability to monitor physiological parameters from multiple patient bodies. The system uses the Medical Implant C...
Mehmet R. Yuce, Peng Choong Ng, Jamil Y. Khan
BIOINFORMATICS
2005
85views more  BIOINFORMATICS 2005»
15 years 6 months ago
An automated genotyping system for analysis of HIV-1 and other microbial sequences
Motivation: Genetic analysis of HIV-1 is important not only for vaccine development, but also to guide treatment strategies, track the emergence of new viral variants and ensure t...
Tulio de Oliveira, Koen Deforche, Sharon Cassol, M...
DAC
2003
ACM
16 years 7 months ago
Design techniques for sensor appliances: foundations and light compass case study
We propose the first systematic, sensor-centric approach for quantitative design of sensor network appliances. We demonstrate its use by designing light appliance devices and the ...
Jennifer L. Wong, Seapahn Megerian, Miodrag Potkon...