189 search results - page 15 / 38 » Integration of Functional and Timed Testing of Real-Time and... |
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
AbstractThe impact of the use of mobile devices by means of GPRS (General Packet Radio Service) technology to access environmental information in real time, provided by sensors str...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
APSEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Thesystempresented here showsthe feasibility of modcling the knowledgeinvolved in a complexmusical activity by integrating sub-symbolicand symbolicprocesses. Thisresearch focuses ...
JCP
2008
13 years 7 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...