Sciweavers

11214 search results - page 256 / 2243
» Programming Multi-agent Systems
Sort
View
SLP
1990
76views more  SLP 1990»
15 years 7 months ago
Partial Evaluation for Hierarchies of Logic Theories
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
Michele Bugliesi, Evelina Lamma, Paola Mello
INFORMATICALT
2000
108views more  INFORMATICALT 2000»
15 years 6 months ago
Theoretical Foundations of an Environment-Based Multiparadigm Language
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
Mario Blazevic, Zoran Budimac, Mirjana Ivanovic
ISAAC
2009
Springer
114views Algorithms» more  ISAAC 2009»
16 years 1 months ago
Good Programming in Transactional Memory
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...
Raphael Eidenbenz, Roger Wattenhofer
PPOPP
2005
ACM
16 years 5 days ago
Trust but verify: monitoring remotely executing programs for progress and correctness
The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the use of tho...
Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P....
COORDINATION
2007
Springer
16 years 24 days ago
A Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
Steve Gregory, Martha Paschali