Sciweavers

17760 search results - page 3414 / 3552
» A Generalization of the Massey-Ding Algorithm
Sort
View
TCAD
1998
161views more  TCAD 1998»
13 years 7 months ago
Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions
— Ordered Kronecker functional decision diagrams (OKFDD’s) are a data structure for efficient representation and manipulation of Boolean functions. OKFDD’s are a generalizat...
Rolf Drechsler, Bernd Becker
TPDS
1998
118views more  TPDS 1998»
13 years 7 months ago
Optimizing Computing Costs Using Divisible Load Analysis
—A bus oriented network where there is a charge for the amount of divisible load processed on each processor is investigated. A cost optimal processor sequencing result is found ...
Jeeho Sohn, Thomas G. Robertazzi, Serge Luryi
TCAD
2002
86views more  TCAD 2002»
13 years 7 months ago
Platune: a tuning framework for system-on-a-chip platforms
System-on-a-chip (SOC) platform manufacturers are increasingly adding configurable features that provide power and performance flexibility in order to increase a platform's ap...
Tony Givargis, Frank Vahid
TCS
2002
13 years 7 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
TCSV
2002
81views more  TCSV 2002»
13 years 7 months ago
Image information restoration based on long-range correlation
A new class of image information-restoration algorithms virtually different from traditional techniques are proposed. In comparison with other approaches, our methods not only use ...
Dapeng Zhang, Zhou Wang
« Prev « First page 3414 / 3552 Last » Next »