Sciweavers

1040 search results - page 100 / 208
» Tools for modeling and solving search problems
Sort
View
ICCAD
1999
IEEE
153views Hardware» more  ICCAD 1999»
15 years 10 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...
ICLP
2005
Springer
15 years 11 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
ICCAD
1997
IEEE
122views Hardware» more  ICCAD 1997»
15 years 10 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»
16 years 3 days 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 5 months 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