2861 search results - page 184 / 573 » Constraint Programming |
107
Voted
MICRO
1993
IEEE
15 years 2 months ago
1993
IEEE
Compile-time code transformations which expose instruction-level parallelism (ILP) typically take into account the constraints imposed by all execution scenarios in the program. H...
107
Voted
CONSTRAINTS
2002
14 years 10 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
82
Voted
FMCO
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent re...
86
Voted
TACAS
2009
Springer
15 years 5 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...