Sciweavers

12194 search results - page 149 / 2439
» cans 2010
Sort
View
122
Voted
ARC
2010
Springer
145views Hardware» more  ARC 2010»
15 years 4 months ago
Self-organizing logistics systems
: When a logistics system is "self-organizing" it can function without significant intervention by managers, engineers, or software control. The social insects, such as a...
John J. Bartholdi III, Donald D. Eisenstein, Yun F...
118
Voted
COMGEO
2010
ACM
15 years 4 months ago
Mixed volume techniques for embeddings of Laman graphs
We use Bernstein's Theorem [1] to obtain combinatorial bounds for the number of embeddings of Laman graph frameworks modulo rigid motions. For this, we study the mixed volume...
Reinhard Steffens, Thorsten Theobald
CORR
2010
Springer
102views Education» more  CORR 2010»
15 years 4 months ago
States and exceptions are dual effects
Global states and exceptions form two basic computational effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update operations for glo...
Jean-Guillaume Dumas, Dominique Duval, Laurent Fou...
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 4 months ago
Parikh Images of Regular Languages: Complexity and Applications
We show that the Parikh image of the language of an NFA with n states over an alphabet of size k can be described as a finite union of linear sets with at most k generators and to...
Anthony Widjaja To
108
Voted
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 4 months ago
Toward a Formal Semantics for Autonomic Components
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic
Marco Aldinucci, Emilio Tuosto