3902 search results - page 205 / 781 » Hardware Synthesis from C C Models |
132
click to vote
ASPDAC
1995
ACM
15 years 7 months ago
1995
ACM
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...
142
click to vote
ICS
2009
Tsinghua U.
15 years 8 months ago
2009
Tsinghua U.
Large Multi-Processor Systems-on-Chip use Networks-on-Chip with a high degree of reusability and scalability for message communication. Therefore, network infrastructure is a cruc...
135
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
119
click to vote
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
The behaviour of a real-time system can be validated at the system level by means of a real-time operating system model in a VHDL simulation environment. The model consists of the...
173
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
Previous analytic models of TCP Vegas throughput have been developed for loss-free (all-Vegas) networks. This work develops a simple and accurate analytic model for the throughput...