1288 search results - page 232 / 258 » On Analysis of Design Component Contracts: A Case Study |
121
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper presents a novel methodology for detecting collisions of cylindrically shaped rigid bodies moving in three dimensions. This algorithm uses line geometry and ...
108
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— Directional antennas are a promising option for use in ad-hoc networks for a variety of reasons, such as increased spatial reuse, reduced interference and enabling more effici...
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Elliptic curve cryptosystems are nowadays widely used in the design of many security devices. Nevertheless, since not every elliptic curve is useful for cryptographic purposes, me...
IWPC
2006
IEEE
15 years 7 months ago
2006
IEEE
Software repositories are rich sources of information about the software development process. Mining the information stored in them has been shown to provide interesting insights ...
FPL
2004
Springer
15 years 6 months ago
2004
Springer
A previous study [1] demonstrates the advantages of replacing registers by FPGA embedded memories during the storage allocation phase of High-Level Synthesis. The trend in new FPGA...