Sciweavers

1040 search results - page 100 / 208
» Tools for modeling and solving search problems
Sort
View
122
Voted
ICCAD
1999
IEEE
153views Hardware» more  ICCAD 1999»
15 years 5 months ago
Cycle time and slack optimization for VLSI-chips
We consider the problem of finding an optimal clock schedule, i.e. optimal arrival times for clock signals at latches of a VLSI chip. We describe a general model which includes al...
Christoph Albrecht, Bernhard Korte, Jürgen Sc...
105
Voted
ICLP
2005
Springer
15 years 6 months ago
Preference Reasoning
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
Francesca Rossi
83
Voted
ICCAD
1997
IEEE
122views Hardware» more  ICCAD 1997»
15 years 4 months ago
Approximate timing analysis of combinational circuits under the XBD0 model
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...
Yuji Kukimoto, Wilsin Gosti, Alexander Saldanha, R...
BTW
2007
Springer
245views Database» more  BTW 2007»
15 years 6 months ago
From Personal Desktops to Personal Dataspaces: A Report on Building the iMeMex Personal Dataspace Management System
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
Jens-Peter Dittrich, Lukas Blunschi, Markus Fä...
IJMMS
1998
94views more  IJMMS 1998»
15 years 11 days ago
Towards situated knowledge acquisition
Situated cognition is not a mere philosophical concern: it has pragmatic implications for current practice in knowledge acquisition. Tools must move from being design-focused to b...
Tim Menzies