285 search results - page 46 / 57 » Performance and Functional Verification of Microprocessors |
CODES
1996
IEEE
15 years 1 months ago
1996
IEEE
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
ERLANG
2007
ACM
15 years 1 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
ACMACE
2005
ACM
14 years 11 months ago
2005
ACM
Exhibitions at a scientific museum are usually difficult for ordinary school pupils. To improve the issues of current explanation systems, we use Personal Data Assistant (PDA) dev...
85
Voted
OOPSLA
2000
Springer
15 years 1 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
GLOBECOM
2007
IEEE
15 years 1 months ago
2007
IEEE
Accurate and systematic channel simulation technique is critical for performance verification of digital transceiver design over wireless channels. Despite the abundant results on ...