923 search results - page 157 / 185 » Factorizing Languages |
133
click to vote
ESOP
2000
Springer
15 years 3 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
107
click to vote
WWW
2009
ACM
16 years 14 days ago
2009
ACM
Ad auctions in sponsored search support"broad match"that allows an advertiser to target a large number of queries while bidding only on a limited number. While giving mo...
199
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
189
click to vote
ASPLOS
2009
ACM
16 years 13 days ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
171
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...