3091 search results - page 152 / 619 » The Microsoft Relational Engine |
140
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
198
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
139
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
157
click to vote
EUROMICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
144
click to vote
ACSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
With rapid advances in online technologies, organizations are migrating from paper based resources to digital documents to achieve high responsiveness and ease of management. Thes...