Sciweavers

4426 search results - page 441 / 886
» Concurrent Constraint Programming
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson
NAACL
1994
15 years 8 months ago
Semantic Evaluation for Spoken-Language Systems
Development has begun on a semantic evaluation (SemEval) methodology and infrastructure for the ARPA Spoken Language Program. SemEval is an attempt to define a task-independent te...
Robert C. Moore
ICFP
2012
ACM
13 years 9 months ago
Nested data-parallelism on the gpu
Graphics processing units (GPUs) provide both memory bandwidth and arithmetic performance far greater than that available on CPUs but, because of their Single-Instruction-Multiple...
Lars Bergstrom, John H. Reppy
RE
2004
Springer
16 years 5 days ago
Goal-Oriented Requirements Animation
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
Hung Tran Van, Axel van Lamsweerde, Philippe Masso...
ICRA
2002
IEEE
167views Robotics» more  ICRA 2002»
15 years 11 months ago
Coordinated Teams of Reactive Mobile Platforms
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating r...
John Sweeney, T. J. Brunette, Yunlei Yang, Roderic...