Sciweavers

2466 search results - page 198 / 494
» Concurrent Clustered Programming
Sort
View
123
Voted
LPAR
1999
Springer
15 years 6 months ago
A Partial Evaluation Framework for Curry Programs
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
Elvira Albert, María Alpuente, Michael Hanu...
119
Voted
ENTCS
2002
97views more  ENTCS 2002»
15 years 2 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
SIGADA
2005
Springer
15 years 8 months ago
AspectAda: aspect oriented programming for ada95
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
Knut H. Pedersen, Constantinos Constantinides
EMSOFT
2006
Springer
15 years 6 months ago
Scheduling for multi-threaded real-time programs via path planning
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
Thao Dang, Philippe Gerner
215
Voted
HASKELL
2009
ACM
15 years 9 months ago
Push-pull functional reactive programming
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
Conal M. Elliott