4413 search results - page 18 / 883 » New Directions for CACM |
ISPD
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents a new timing driven force directed placement algorithm that meets physical net length constraints as well as constraints on specific pin sets. It is the first ...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
Mobile interfaces are evolving towards touch-based approaches. This allows users to interact with their thumb directly on the screen. Such kind of direct approaches may be fussy f...
CP
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we present new techniques for improving backtracking based Quantified Constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variab...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
ESA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We evaluate the performance of FPT algorithms for the directed feedback vertex set problem (DFVS). We propose several new data reduction rules for DFVS. which can signi...