6299 search results - page 1157 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
159
click to vote
ICDT
1997
ACM
15 years 10 months ago
1997
ACM
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
173
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
202
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
158
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- High-throughput microarrays inform us on different outlooks of the molecular mechanisms underlying the function of cells and organisms. While computational analysis for ...
166
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...