3387 search results - page 474 / 678 » Model-Checking for Real-Time Systems |
169
Voted
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
177
Voted
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
This paper describes UAIC1 's Question Answering systems participating in the ResPubliQA 2010 competition, designed to answer questions on a juridical corpora in Romanian, Eng...
203
click to vote
TCOS
2008
15 years 6 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
173
Voted
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
153
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...