9626 search results - page 1635 / 1926 » Invariant Based Programming |
193
click to vote
ISCC
2005
IEEE
16 years 7 days ago
2005
IEEE
We propose routing schemes that optimize the average number of hops for lookup requests in Peer–to–Peer (P2P) systems without adding any overhead to the system. Our work is in...
159
click to vote
ISCC
2005
IEEE
16 years 7 days ago
2005
IEEE
This study deals with the Delay-Constrained Minimum Cost Loop Problem (DC-MCLP) of finding several loops from a source node. The DC-MCLP consists of finding a set of minimum cost ...
169
click to vote
ISQED
2005
IEEE
16 years 7 days ago
2005
IEEE
With continued aggressive process scaling in the subwavelength lithographic regime, resolution enhancement techniques (RETs) such as optical proximity correction (OPC) are an inte...
187
click to vote
ISQED
2005
IEEE
16 years 7 days ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
180
click to vote
ISSRE
2005
IEEE
16 years 7 days ago
2005
IEEE
Code prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of co...