15644 search results - page 30 / 3129 » Brittle System Analysis |
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
DOCENG
2003
ACM
15 years 3 months ago
2003
ACM
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
EDCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
