Sciweavers

2523 search results - page 175 / 505
» Objective: In Minimum Context
Sort
View
122
Voted
ICALP
2004
Springer
15 years 10 months ago
Syntactic Control of Concurrency
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
ATAL
2003
Springer
15 years 9 months ago
Communication for Goal Directed Agents
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...
Mehdi Dastani, Jeroen van der Ham, Frank Dignum
ANSS
1997
IEEE
15 years 8 months ago
Performance Issues of Task Routing and Task Scheduling with Resequencing in Homogeneous Distributed Systems
An important part of a distributed system design is the workload sharing among the processors. This includes partitioningthe arriving jobs into tasks that can be executed in paral...
Anthony Karageorgos, Helen D. Karatza
143
Voted
EXPCS
2007
15 years 8 months ago
Performance testing of combinatorial solvers with isomorph class instances
Combinatorial optimization problems expressed as Boolean constraint satisfaction problems (BCSPs) arise in several contexts, ranging from the classical unate set-packing problems ...
Franc Brglez, Jason A. Osborne
WSC
2008
15 years 6 months ago
Practical approach to experimentation in a simulation study
Simulation study of complex production facilities can be a challenging task for manufacturing engineers as it requires skills to build the models and to conduct experiments. Accur...
Benny Tjahjono, Raul Fernandez