4722 search results - page 577 / 945 » Representation-independent program analysis |
153
click to vote
CD
2004
Springer
16 years 2 days ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
162
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
149
click to vote
GPCE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
162
click to vote
LCTRTS
2004
Springer
16 years 1 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
184
click to vote
TYPES
2004
Springer
16 years 13 hour ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...