Sciweavers

1165 search results - page 154 / 233
» Effective linear programming based placement methods
Sort
View
ICCAD
2004
IEEE
124views Hardware» more  ICCAD 2004»
16 years 3 months ago
Architectural-level synthesis of digital microfluidics-based biochips
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
Fei Su, Krishnendu Chakrabarty
WINE
2007
Springer
161views Economy» more  WINE 2007»
16 years 11 days ago
New Algorithms for Approximate Nash Equilibria in Bimatrix Games
Abstract. We consider the problem of computing additively approximate Nash equilibria in non-cooperative two-player games. We provide a new polynomial time algorithm that achieves ...
Hartwig Bosse, Jaroslaw Byrka, Evangelos Markakis
SPIN
2001
Springer
15 years 10 months ago
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
Michael Baldamus, Jochen Schröder-Babo
ASPDAC
1999
ACM
107views Hardware» more  ASPDAC 1999»
15 years 10 months ago
New Multilevel and Hierarchical Algorithms for Layout Density Control
Certain manufacturing steps in very deep submicron VLSI involve chemical-mechanical polishing CMP which has varying e ects on device and interconnect features, depending on loca...
Andrew B. Kahng, Gabriel Robins, Anish Singh, Alex...
FSKD
2006
Springer
203views Fuzzy Logic» more  FSKD 2006»
15 years 10 months ago
An Interval Semi-absolute Deviation Model For Portfolio Selection
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
Yong Fang, Shouyang Wang