9210 search results - page 424 / 1842 » Analyzing Real-Time Systems |
190
click to vote
CLEF
2010
Springer
15 years 8 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...
223
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...
185
click to vote
RTS
2010
15 years 5 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...
171
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...
221
click to vote
RTS
2010
15 years 1 months ago
2010
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...