Sciweavers

2625 search results - page 51 / 525
» The development of the Emerald programming language
Sort
View
SIGMOD
2009
ACM
140views Database» more  SIGMOD 2009»
14 years 8 months ago
Distributed data-parallel computing using a high-level programming language
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
Michael Isard, Yuan Yu
ENTCS
2007
144views more  ENTCS 2007»
13 years 8 months ago
Partial Order Reduction for Rewriting Semantics of Programming Languages
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
Azadeh Farzan, José Meseguer
EACL
2006
ACL Anthology
13 years 10 months ago
Developments in Affect Detection in E-drama
We report work1 in progress on adding affect-detection to an existing program for virtual dramatic improvisation, monitored by a human director. To partially automate the director...
Li Zhang, John A. Barnden, Robert J. Hendley, Alan...
CSL
1999
Springer
14 years 23 days ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
ECAI
2000
Springer
14 years 25 days ago
Architecture for Agent Programming Languages
As the field of agent-based systems continues to expand rapidly, one of the most significant problems lies in being able to compare and evaluate the relative benefits and disad...
Koen V. Hindriks, Mark d'Inverno, Michael Luck