518 search results - page 11 / 104 » Specification, Implementation, and Validation of Object-Orie... |
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
ECRTS
2000
IEEE
13 years 11 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
RTAS
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
VLSID
2002
IEEE
14 years 7 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...