2085 search results - page 237 / 417 » Special interest groups |
193
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
189
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
181
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
171
click to vote
ICES
2005
Springer
16 years 8 days ago
2005
Springer
Evolvable Hardware arises as a promising solution for automatic digital synthesis of digital and analog circuits. During the last decade, a special interest has been focused on evo...
168
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
Auctions are useful mechanisms for allocating items (goods, tasks, resources, etc.) in multiagent systems. The bulk of auction theory assumes that the bidders know their own valua...