4211 search results - page 772 / 843 » Types as Abstract Interpretations |
161
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
148
Voted
SODA
2012
ACM
13 years 6 months ago
2012
ACM
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...
126
Voted
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Affine registration has a long and venerable history in computer vision literature, and extensive work have been done for affine registrations in IR2 and IR3 . In this pa...
140
Voted
DNIS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. As data warehousing technology gains a ubiquitous presence in business today, companies are becoming increasingly reliant upon the information contained in their data war...
136
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...