2251 search results - page 9 / 451 » Specification and Implementation Problems for C |
OSDI
2006
ACM
16 years 5 hour ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
The algorithms used in wireless applications are increasingly more sophisticated and consequently more challenging to implement in hardware. Traditional design flows require devel...
102
click to vote
TCAD
2008
14 years 11 months ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
100
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Local network coding is growing in prominence as a technique to facilitate greater capacity utilization in multi-hop wireless networks. A specific objective of such local network ...
102
click to vote
ASAP
2008
IEEE
15 years 6 months ago
2008
IEEE
This article discusses the design of an application specific MPSoC architecture dedicated to Multiple Target Tracking (MTT). This application has its utility in driver assistant s...