433 search results - page 20 / 87 » Contracts: From Analysis to C Implementation |
74
Voted
VLDB
2001
ACM
15 years 2 months ago
2001
ACM
We propose an novel method of computing and storing DataCubes. Our idea is to use Bayesian Networks, which can generate approximate counts for any query combination of attribute v...
SAS
2001
Springer
15 years 2 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
101
click to vote
CSCWD
2009
Springer
14 years 7 months ago
2009
Springer
With the trend of globalization, enterprises require to extend their logistics scope from domestic to international, integrate logistics networks, and improve the agility and effi...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
ICCAD
2001
IEEE
15 years 6 months ago
2001
IEEE
In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arri...