3042 search results - page 137 / 609 » Efficient Communication in a Design Environment |
175
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
162
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose in this paper an original design space exploration method for reconfigurable architectures adapted to fine and coarse grain resources. The exploration flow deals with c...
131
click to vote
ANCS
2007
ACM
15 years 10 months ago
2007
ACM
Next-generation Internet architectures require designs with inherent security guarantees. We present a network architecture that uses credentials to audit traffic in the data path...
295
click to vote
ECTEL
2011
Springer
14 years 6 months ago
2011
Springer
This paper presents a customizable system used to develop a collaborative multi-user problem solving game. It addresses the increasing demand for appealing informal learning experi...
138
click to vote
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a mesh with virtual buses as the bandwidth-efficient implementation of the mesh with multiple broadcasting on which many computational problems can be solved w...