2403 search results - page 441 / 481 » Using the WinWin Spiral Model: A Case Study |
DAC
2004
ACM
16 years 6 days ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
ECCV
2006
Springer
16 years 1 months ago
2006
Springer
Triangulation consists in finding a 3D point reprojecting the best as possible onto corresponding image points. It is classical to minimize the reprojection error, which, in the p...
118
click to vote
CAV
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Queries on major Web search engines produce complex result pages, primarily composed of two types of information: organic results, that is, short descriptions and links to relevan...
IPSN
2004
Springer
15 years 4 months ago
2004
Springer
We study network capacity limits and optimal routing algorithms for regular sensor networks, namely, square and torus grid sensor networks, in both, the static case (no node failu...