2398 search results - page 353 / 480 » Constraint Programming and Graph Algorithms |
163
click to vote
DAC
2009
ACM
15 years 8 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
117
click to vote
SCL
2008
15 years 4 months ago
2008
Significant progress in control design has been achieved by the use of nonsmooth and semiinfinite mathematical programming techniques. In contrast with LMI or BMI approaches, thes...
119
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
136
click to vote
PSB
2004
15 years 6 months ago
2004
Association studies in populations relate genomic variation among individuals with medical condition. Key to these studies is the development of efficient and affordable genotypin...
235
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative ...