4067 search results - page 382 / 814 » Programs for Applying Symmetries |
199
Voted
BIRTHDAY
2005
Springer
16 years 1 months 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...
188
Voted
RTA
2005
Springer
16 years 1 months 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...
155
Voted
SAC
2004
ACM
16 years 1 months 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 ...
196
Voted
SAC
2004
ACM
16 years 1 months 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...
189
click to vote
SC
2004
ACM
16 years 1 months 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...