5639 search results - page 1023 / 1128 » Timed Abstract Non-interference |
122
click to vote
WWW
2009
ACM
16 years 2 months 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...
143
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
214
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
213
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
126
click to vote
VLSID
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....