675 search results - page 112 / 135 » Predicting Performance on a Loosely Controlled Event System |
120
click to vote
SMC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this study, the task of obtaining accurate and comprehensible concept descriptions of a specific set of production instances has been investigated. The suggested method, inspire...
IJRR
2008
15 years 1 months ago
2008
We explore the capabilities of a robotic sensing system designed to locate objects underwater through active movement of an electric field emitter and sensor apparatus. The system ...
133
Voted
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
138
click to vote
FMSD
2007
15 years 1 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
109
click to vote
RTSS
2006
IEEE
15 years 7 months ago
2006
IEEE
In most operating systems, the handling of interrupts is typically performed within the address space of the kernel. Moreover, interrupt handlers are invoked asynchronously during...