999 search results - page 95 / 200 » Constraints in Non-Boolean Contexts |
169
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
180
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
In the context of SLA based job scheduling for high performance grid computing, this paper investigates the behaviour of various scheduling heuristics to schedule SLA-bounded jobs...
174
click to vote
IROS
2006
IEEE
16 years 11 days ago
2006
IEEE
— The paper addresses the problem of autonomous navigation of a car-like robot evolving in an urban environment. Such an environment exhibits an heterogeneous geometry and is clu...
159
click to vote
WCRE
2006
IEEE
16 years 10 days ago
2006
IEEE
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
174
click to vote
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract- This paper proposes an evolutionary approach for the composition of solutions in an incremental way. The approach is based on the metaphor of transitions in complexity di...