Sciweavers

1509 search results - page 136 / 302
» Tracking Real-Time Systems Requirements
Sort
View
VLSID
2009
IEEE
107views VLSI» more  VLSID 2009»
14 years 8 months ago
Temperature Aware Scheduling for Embedded Processors
Power density has been increasing at an alarming rate in recent processor generations resulting in high on-chip temperature. Higher temperature results in poor reliability and inc...
Ramkumar Jayaseelan, Tulika Mitra
ICDCSW
2007
IEEE
14 years 2 months ago
Using a Context Quality Measure for Improving Smart Appliances
Many Ubicomp appliances require the recognition of context. Existing context systems do not provide information about the quality of the context recognizied to the appliance at ru...
Martin Berchtold, Christian Decker, Till Riedel, T...
CASE
2011
102views more  CASE 2011»
12 years 8 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
CONCUR
2012
Springer
11 years 10 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain
CAISE
2003
Springer
14 years 1 months ago
Exp-DB: Fast Development of Information Systems for Experiment Tracking
Bioinformatics research groups require information systems keeping track of experiments and their results. However, current solutions are often ad-hoc, difficult to maintain, exten...
Nomair A. Naeem, Stéphane Raymond, Anne Pou...