573 search results - page 103 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
135
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
170
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
180
Voted
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
127
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
130
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Cell selection is the process of determining the cell(s) that provide service to each mobile station. Optimizing these processes is an important step towards maximizing the util...