3387 search results - page 409 / 678 » Model-Checking for Real-Time Systems |
207
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
229
click to vote
EMSOFT
2009
Springer
16 years 2 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
215
click to vote
RTS
2006
15 years 7 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
241
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
A crucial objective in battery operated embedded systems is to work under the minimal power consumption that provides a desired level of performance. Dynamic Voltage Scaling (DVS)...
206
click to vote
ACSW
2007
15 years 9 months ago
2007
The automatic conversion of free text into a medical ontology can allow computational access to important information currently locked within clinical notes and patient reports. T...