20126 search results - page 272 / 4026 » Timed Transition Systems |
210
click to vote
ERSA
2003
15 years 8 months ago
2003
Many real-time applications require a high-resolution time tick in order to work properly. However, supporting a high-resolution time tick imposes a very high overhead on the syst...
174
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
186
click to vote
DSD
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
199
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
203
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...