20126 search results - page 272 / 4026 » Timed Transition Systems |
181
click to vote
ERSA
2003
15 years 6 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...
139
Voted
DATE
2009
IEEE
15 years 11 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...
146
Voted
DSD
2008
IEEE
15 years 11 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...
155
click to vote
LFCS
2007
Springer
15 years 10 months 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...
162
Voted
TASE
2010
IEEE
14 years 11 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...