Sciweavers

3119 search results - page 489 / 624
» General Default Logic
Sort
View
SAT
2007
Springer
95views Hardware» more  SAT 2007»
16 years 16 days ago
Solving Multi-objective Pseudo-Boolean Problems
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
Martin Lukasiewycz, Michael Glaß, Christian ...
SGAI
2007
Springer
16 years 16 days ago
Extending Jess to Handle Uncertainty
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
David Corsar, Derek H. Sleeman, Anne McKenzie
CODES
2006
IEEE
16 years 15 days ago
Hardware based frequency/voltage control of voltage frequency island systems
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
Puru Choudhary, Diana Marculescu
ETFA
2006
IEEE
16 years 15 days ago
Normalization of Industrial Machinery with Embedded Devices and SOA
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
Virgilio Gilart-Iglesias, Francisco Maciá P...
GLVLSI
2006
IEEE
193views VLSI» more  GLVLSI 2006»
16 years 14 days ago
Optimizing noise-immune nanoscale circuits using principles of Markov random fields
As CMOS devices and operating voltages are scaled down, noise and defective devices will impact the reliability of digital circuits. Probabilistic computing compatible with CMOS o...
Kundan Nepal, R. Iris Bahar, Joseph L. Mundy, Will...