1831 search results - page 182 / 367 » Time Constraints in Workflow Systems |
120
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
129
click to vote
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents a novel approach to scheduling of hardware supported synchronization operations. The optimization goal is to minimize the interation time of processes and thus...
140
click to vote
DSS
2008
15 years 3 months ago
2008
The Web is a universal repository of human knowledge and culture which has allowed unprecedented sharing of ideas and information in a scale never seen before. It can also be cons...
156
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
144
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...