Sciweavers

1419 search results - page 101 / 284
» Power Droop Testing
Sort
View
HICSS
1998
IEEE
169views Biometrics» more  HICSS 1998»
15 years 6 months ago
A Transmission-Constrained Unit Commitment Method
This paper presents a transmission-constrained unit commitment method using a Lagrangian relaxation approach. Based on a DC power flow model, the transmission constraints are form...
Chung-Li Tseng, Shmuel S. Oren, C. S. Cheng, C.-A....
EURODAC
1994
IEEE
117views VHDL» more  EURODAC 1994»
15 years 6 months ago
A hardware environment for prototyping and partitioning based on multiple FPGAs
This paper presents a multiple-FPGA-based experimentation board. The problem to be solved is that of implementing a circuit into a set of FPGAs. This board provides a hardware env...
Marc Wendling, Wolfgang Rosenstiel
AI
2005
Springer
15 years 2 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf
ASPLOS
2012
ACM
13 years 10 months ago
A case for unlimited watchpoints
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
Joseph L. Greathouse, Hongyi Xin, Yixin Luo, Todd ...
DATE
2007
IEEE
109views Hardware» more  DATE 2007»
15 years 8 months ago
Microprocessors in the era of terascale integration
Moore’s Law will soon deliver tera-scale level transistor integration capacity. Power, variability, reliability, aging, and testing will pose as barriers and challenges to harne...
Shekhar Borkar, Norman P. Jouppi, Per Stenströ...