9210 search results - page 361 / 1842 » Analyzing Real-Time Systems |
152
click to vote
ITRUST
2005
Springer
16 years 7 days ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
188
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Rising energy costs in large data centers are driving an agenda for energy-efficient computing. In this paper, we focus on the role of database software in affecting, and, ultimat...
246
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we provide a semi-analytical method for predicting the upper and lower bound of the end-to-end mutual information for a relay network with practical codes and diffe...
187
Voted
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time systems are often designed using preemptive scheduling to guarantee the execution of high priority tasks. For multiple reasons there is a great interest in exploring non...
134
click to vote
AIED
2005
Springer
16 years 9 days ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...