4872 search results - page 167 / 975 » The Efficiency of Optimal Taxes |
189
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
203
click to vote
TCAD
2010
15 years 1 months ago
2010
Protein crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the 3-D arrangement of the constituent amino acids, which in turn ...
173
click to vote
MTV
2005
IEEE
16 years 2 days ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
154
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present upper bounds on the time and space complexity of finding the global optimum of additively separable functions, a class of functions that has been studied exten...
158
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...