10159 search results - page 536 / 2032 » System Design Validation Using Formal Models |
170
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
135
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents and validates performance models for a variety of high-performance collective communication algorithms for systems with Cell processors. The systems modeled in...
178
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
176
click to vote
TPDS
2008
15 years 5 months ago
2008
BitTorrent has emerged as a very popular peer-to-peer file sharing system, which uses an embedded set of incentive mechanisms to encourage contribution and prevent free-riding. How...
159
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— In ultra-wideband impulse radio (UWB-IR) systems, multipath-delayed received pulses may overlap if two consecutive multipaths arrive within less than the pulse duration...