4067 search results - page 382 / 814 » Programs for Applying Symmetries |
173
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
174
click to vote
RTA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
144
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
178
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
In recent years, researchers in graph mining have been exploring linear paths as well as subgraphs as pattern languages. In this paper, we are investigating the middle ground betw...
170
click to vote
SC
2004
ACM
16 years 8 days ago
2004
ACM
In this paper, we introduce a profile-driven online page migration scheme and investigate its impact on the performance of multithreaded applications. We use lightweight, inexpens...