6608 search results - page 1046 / 1322 » On the Completeness of Model Checking |
163
click to vote
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
139
click to vote
ICDCS
2005
IEEE
16 years 8 days ago
2005
IEEE
We study how a server may disseminate a large volume of data to a set of clients in the shortest possible time. We first consider a cooperative scenario where clients are willing...
145
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
— The demand for flexible and re-programmable robots has increased the need for programming by demonstration systems. In this paper, grasp recognition is considered in a program...
169
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
— We consider the problem of scheduling a sequence of packets over a linear network, where every packet has a source and a target, as well as a release time and a deadline by whi...
162
click to vote
IWSOC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...