Sciweavers

2593 search results - page 120 / 519
» constraints 2007
Sort
View
ASPDAC
2007
ACM
97views Hardware» more  ASPDAC 2007»
15 years 10 months ago
FastPlace 3.0: A Fast Multilevel Quadratic Placement Algorithm with Placement Congestion Control
Abstract-- In this paper, we present FastPlace 3.0
Natarajan Viswanathan, Min Pan, Chris C. N. Chu
CEC
2007
IEEE
16 years 24 days ago
Towards an immune system that solves CSP
—Constraint satisfaction problems (CSPs) widely occur in artificial intelligence. In the last twenty years, many algorithms and heuristics were developed to solve CSP. Recently,...
María-Cristina Riff, Marcos Zú&ntild...
CCCG
2003
15 years 7 months ago
Hinged Dissection of Polygons is Hard
We show several natural questions about hinged dissections of polygons to be PSPACE-hard. The most basic of these is: Given a hinged set of pieces and two configurations for them...
Robert A. Hearn, Erik D. Demaine, Greg N. Frederic...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Ownership and Immutability Inference for UML-Based Object Access Control
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
Yin Liu, Ana Milanova
SOCO
2007
Springer
16 years 16 days ago
Streamlining Feature-Oriented Designs
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
Martin Kuhlemann, Sven Apel, Thomas Leich