Sciweavers

2078 search results - page 180 / 416
» MetaCores: Design and Optimization Techniques
Sort
View
ISSAC
1997
Springer
194views Mathematics» more  ISSAC 1997»
15 years 10 months ago
The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming
IP problems characterise combinatorial optimisation problems where conventional numerical methods based on the hill-climbing technique can not be directly applied. Conventional me...
Qiang Li, Yike Guo, Tetsuo Ida, John Darlington
DAC
2005
ACM
15 years 8 months ago
Power grid simulation via efficient sampling-based sensitivity analysis and hierarchical symbolic relaxation
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
Peng Li
VLDB
2007
ACM
128views Database» more  VLDB 2007»
16 years 6 months ago
Periscope/SQ: Interactive Exploration of Biological Sequence Databases
Life science laboratories today have to rely on procedural techniques to store and manage large sequence datasets. Procedural techniques are cumbersome to use and are often very i...
Sandeep Tata, Willis Lang, Jignesh M. Patel
EUROGP
2001
Springer
15 years 11 months ago
A GP Artificial Ant for Image Processing: Preliminary Experiments with EASEA
This paper describes how animat-based “food foraging” techniques may be applied to the design of low-level image processing algorithms. First, we show how we implemented the fo...
Enzo Bolis, Christian Zerbi, Pierre Collet, Jean L...
USS
2004
15 years 8 months ago
Privtrans: Automatically Partitioning Programs for Privilege Separation
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
David Brumley, Dawn Xiaodong Song