9806 search results - page 1612 / 1962 » Engineering adaptive requirements |
213
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
225
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...
238
Voted
EUROSYS
2007
ACM
16 years 4 months ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
200
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
A novel and very simple correct-by-construction top-down methodology for high-utilization mixed-size placement is presented. The PolarBear algorithm combines recursive cutsize-dri...
226
click to vote
SOSP
2005
ACM
16 years 4 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...