955 search results - page 156 / 191 » A System for Solving Constraint Satisfaction Problems with S... |
ISPD
1997
ACM
14 years 14 days ago
1997
ACM
In this paper, we study optimal bu er design in high-performance VLSI systems. Speci cally, we design a bu er for a given load such that chip area and power dissipation are minima...
POPL
1993
ACM
14 years 11 days ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
ISTA
2004
13 years 9 months ago
2004
: Schema mapping is an important approach to solve the problem of data integration. This paper introduces a research prototype called SDE, which is a system for managing and facili...
JCAM
2010
13 years 3 months ago
2010
Abstract. We investigate the properties of extremal point systems on the real line consisting of two interlaced sets of points solving a modified minimum energy problem. We show th...