805 search results - page 147 / 161 » Description and Simulation of Hardware Software Systems with... |
122
Voted
ISCA
2005
IEEE
15 years 7 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
122
click to vote
ICS
2009
Tsinghua U.
15 years 6 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...
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
— Wireless community networks, where users share wireless bandwidth is attracting tremendous interest from academia and industry. Companies such as FON have been successful in at...
105
click to vote
STTT
1998
15 years 1 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
167
Voted
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...