8086 search results - page 1180 / 1618 » On the Implementation of Dynamic Patterns |
145
click to vote
AOSD
2003
ACM
16 years 2 days ago
2003
ACM
Aspect-oriented software design will need to support languages with first-class and higher-order procedures, such as Python, Perl, ML and Scheme. These language features present ...
183
click to vote
ELPUB
2003
ACM
16 years 2 days ago
2003
ACM
Website development has always been an hard task: it consumes time and resources. What is new today is normally taken as granted tomorrow by users. This is to say that users always...
176
click to vote
SC
2003
ACM
16 years 2 days ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
202
click to vote
SC
2003
ACM
16 years 2 days ago
2003
ACM
Distributing data is a fundamental problem in implementing efficient distributed-memory parallel programs. The problem becomes more difficult in environments where the participa...
183
click to vote
CAV
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...