Sciweavers

1984 search results - page 199 / 397
» The colourful feasibility problem
Sort
View
ICCAD
1997
IEEE
131views Hardware» more  ICCAD 1997»
15 years 10 months ago
COSMOS: a continuous optimization approach for maximum power estimation of CMOS circuits
Maximum instantaneous power in VLSI circuits has a great impact on circuit's reliability and the design of power and ground lines. To synthesizehighlyreliablesystems,accurate...
Chuan-Yu Wang, Kaushik Roy
PLILP
1998
Springer
15 years 10 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
DOOD
1997
Springer
155views Database» more  DOOD 1997»
15 years 10 months ago
Incremental Updates for Materialized OQL Views
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...
Dieter Gluche, Torsten Grust, Christof Mainberger,...
ISLPED
1996
ACM
102views Hardware» more  ISLPED 1996»
15 years 10 months ago
High-level power estimation and the area complexity of Boolean functions
Estimation of the area complexity of a Boolean function from its functional description is an important step towards a power estimation capability at the register transfer level (...
Mahadevamurty Nemani, Farid N. Najm
AINA
2007
IEEE
15 years 10 months ago
Considering Runtime Restrictions in Self-Healing Distributed Systems
Hardware failures in autonomous and distributed software systems create the need for self-healing activities. This work addresses the problem of redeploying software components af...
Christoph Danne, Viktor Dück, Benjamin Kl&oum...