Sciweavers

16596 search results - page 55 / 3320
» Generalized Assignment Problems
Sort
View
ESORICS
1998
Springer
15 years 2 months ago
Rules for Designing Multilevel Object-Oriented Databases
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
Frédéric Cuppens, Alban Gabillon
JAIR
2006
87views more  JAIR 2006»
14 years 9 months ago
Fault Tolerant Boolean Satisfiability
A -model is a satisfying assignment of a Boolean formula for which any small alteration, such as a single bit flip, can be repaired by flips to some small number of other bits, yi...
Amitabha Roy
SWAT
2004
Springer
83views Algorithms» more  SWAT 2004»
15 years 3 months ago
Power Assignment in Radio Networks with Two Power Levels
We study the power assignment problem in radio networks, where each radio station can transmit in one of two possible power levels, corresponding to two ranges – short and long....
Paz Carmi, Matthew J. Katz
ISLPED
2004
ACM
88views Hardware» more  ISLPED 2004»
15 years 3 months ago
Architecting voltage islands in core-based system-on-a-chip designs
Voltage islands enable core-level power optimization for Systemon-Chip (SoC) designs by utilizing a unique supply voltage for each core. Architecting voltage islands involves isla...
Jingcao Hu, Youngsoo Shin, Nagu R. Dhanwada, Radu ...
ENTCS
2006
113views more  ENTCS 2006»
14 years 9 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump