1525 search results - page 156 / 305 » Formal Models for Communication-Based Design |
111
Voted
MEMOCODE
2006
IEEE
15 years 7 months ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
108
Voted
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
117
Voted
FAC
2000
15 years 26 days ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
100
Voted
SAFECOMP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
114
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...