4211 search results - page 721 / 843 » Types as Abstract Interpretations |
163
click to vote
DCC
1994
IEEE
15 years 8 months ago
1994
IEEE
abstract Dzung T. Hoang Philip M. Longy Je rey Scott Vitterz Department of Computer Science Duke University Box 90129 Durham, NC 27708 0129 We compare methods for choosing motion ...
125
click to vote
POS
1994
Springer
15 years 8 months ago
1994
Springer
nt systems support a single storage abstraction in which all data may be created and manipulated in a uniform manner, regardless of its longevity. In such systems a protection mec...
135
Voted
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
Advanced technical applications like routing systems or electrical network managementsystems introduce the need for complex manipulations of large size graphs. Efficiently support...
158
click to vote
SIGCSE
1992
ACM
15 years 8 months ago
1992
ACM
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
155
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
Needs-based analysis lies at the intersection of product marketing and new product development. It is the study of why consumers purchase and what they do with those purchases. In...