Sciweavers

12194 search results - page 149 / 2439
» cans 2010
Sort
View
92
Voted
ARC
2010
Springer
145views Hardware» more  ARC 2010»
15 years 26 days 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...
COMGEO
2010
ACM
15 years 25 days 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
78
Voted
CORR
2010
Springer
102views Education» more  CORR 2010»
15 years 25 days 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...
86
Voted
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 25 days 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
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 25 days 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