5838 search results - page 765 / 1168 » A File System for System Programming in Ubiquitous Computing |
165
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
146
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
153
click to vote
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
264
click to vote
IHI
2012
14 years 1 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
150
click to vote
SIGUCCS
2006
ACM
16 years 10 days ago
2006
ACM
In recent years, the use of a computer has become a requirement for success in a collegiate environment, and the demand for mobile computing has sharply increased. In response to ...