4211 search results - page 254 / 843 » Types as Abstract Interpretations |
138
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
Abstract—Using the Tile Assembly Model proposed by Rothemund and Winfree, we give two lower bounds on the minimum number of tile types needed to uniquely assemble a shape at temp...
145
click to vote
CSMR
2005
IEEE
15 years 11 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
165
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
164
click to vote
COSIT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
155
Voted
BILDMED
2009
15 years 7 months ago
2009
Abstract. The discrimination of benign and malignant types of mammographic masses is a major challenge for radiologists. The classic eigenfaces method was recently adapted for the ...