Sciweavers

33 search results - page 4 / 7
» Improving Constraint-Based Testing with Dynamic Linear Relax...
Sort
View
ASPDAC
1999
ACM
93views Hardware» more  ASPDAC 1999»
13 years 12 months ago
Optimization of Linear Placements for Wirelength Minimization with Free Sites
We study a type of linear placement problem arising in detailed placement optimization of a given cell row in the presence of white-space (extra sites). In this single-row placeme...
Andrew B. Kahng, Paul Tucker, Alexander Zelikovsky
MICCAI
2005
Springer
14 years 8 months ago
A Velocity-Dependent Model for Needle Insertion in Soft Tissue
Models that predict the soft tissue deformation caused by needle insertion could improve the accuracy of procedures such as brachytherapy and needle biopsy. Prior work on needle in...
Jessica R. Crouch, Chad M. Schneider, Josh Wainer,...
IPPS
2007
IEEE
14 years 1 months ago
Decomposing Partial Order Execution Graphs to Improve Message Race Detection
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
Basile Schaeli, Sebastian Gerlach, Roger D. Hersch
GCB
2009
Springer
154views Biometrics» more  GCB 2009»
13 years 11 months ago
Comparative Identification of Differential Interactions from Trajectories of Dynamic Biological Networks
Abstract: It is often challenging to reconstruct accurately a complete dynamic biological network due to the scarcity of data collected in cost-effective experiments. This paper ad...
Zhengyu Ouyang, Mingzhou Song
CPAIOR
2010
Springer
14 years 13 days ago
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling
Abstract. We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of pra...
Timo Berthold, Stefan Heinz, Marco E. Lübbeck...