469 search results - page 72 / 94 » Language and library support for practical PRAM programming |
140
click to vote
IJCAI
2001
15 years 2 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
157
click to vote
PROCEDIA
2010
14 years 11 months ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
210
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
112
click to vote
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
140
click to vote
ASWEC
2009
IEEE
15 years 8 months ago
2009
IEEE
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...