4835 search results - page 516 / 967 » Refactoring Functional Programs |
183
Voted
DOCENG
2004
ACM
16 years 9 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
151
Voted
LCPC
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
195
click to vote
PEPM
2004
ACM
16 years 6 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
205
Voted
PVM
2004
Springer
16 years 6 days ago
2004
Springer
We propose lightweight middleware solutions that facilitate and simplify the execution of MPI programs across multidomain clusters. The system described in this paper leverages H2O...
191
Voted
WORDS
2003
IEEE
16 years 4 days ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...