Sciweavers

1431 search results - page 194 / 287
» Solving Constraints in Model Transformations
Sort
View
ISPD
1999
ACM
94views Hardware» more  ISPD 1999»
15 years 8 months ago
Gate sizing with controlled displacement
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...
Wei Chen, Cheng-Ta Hsieh, Massoud Pedram
WSC
1998
15 years 5 months ago
The Use of Simulation in Facility Layout Design: A Practical Consulting Experience
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...
Emmanuel S. Eneyo, Gertrude P. Pannirselvam
ESORICS
2010
Springer
15 years 4 months ago
Secure Multiparty Linear Programming Using Fixed-Point Arithmetic
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
Octavian Catrina, Sebastiaan de Hoogh
SIGOPS
2010
112views more  SIGOPS 2010»
15 years 2 months ago
QoS-oriented control of server systems
Multi-tier architectures are widely used by internet applications. Guaranteeing the performance, and more generally the quality of service (QoS), of such applications remains a cr...
Luc Malrait
ICCV
2011
IEEE
14 years 4 months ago
Simultaneous Multi-Body Stereo and Segmentation
This paper presents a novel multi-body multi-view stereo method to simultaneously recover dense depth maps and perform segmentation with the input of a monocular image sequence. U...
Guofeng Zhang, Jiaya Jia, Hujun Bao