1784 search results - page 249 / 357 » Formal Models for Embedded System Design |
MEMOCODE
2006
IEEE
15 years 4 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...
CODES
2003
IEEE
15 years 3 months ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
RTAS
2007
IEEE
15 years 4 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
75
Voted
MICRO
2008
IEEE
14 years 10 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
BALT
2006
15 years 1 months ago
2006
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...