6608 search results - page 1270 / 1322 » On the Completeness of Model Checking |
154
click to vote
DATE
2009
IEEE
16 years 28 days ago
2009
IEEE
— BLAST is a very popular Computational Biology algorithm. Since it is computationally expensive it is a natural target for acceleration research, and many reconfigurable archite...
154
click to vote
DSD
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
163
click to vote
GLOBECOM
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— We study the effect of the field size on the performance of random linear network coding for time division duplexing channels proposed in [1]. In particular, we study ...
157
click to vote
INFOCOM
2009
IEEE
16 years 24 days ago
2009
IEEE
—Enterprise networks are increasingly adopting Layer 3 Multiprotocol Label Switching (MPLS) Virtual Private Network (VPN) technology to connect geographically disparate locations...
173
click to vote
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
— In the lion and man game, a lion tries to capture a man who is as fast as the lion. We study a new version of this game which takes place in a Euclidean environment with a circ...