2940 search results - page 76 / 588 » Behavioral Constraints for Services |
161
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
− In this paper, we present a new timing-driven placement algorithm, which attempts to minimize zigzags and crisscrosses on the timing-critical paths of a circuit. We observed th...
155
click to vote
TOOLS
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
127
click to vote
IJCAI
2003
15 years 7 months ago
2003
paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be...
145
click to vote
JGO
2008
15 years 5 months ago
2008
Abstract. Good scaling is an essential requirement for the good behavior of many numerical algorithms. In particular, for problems involving multivariate polynomials, a change of s...
160
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...