5550 search results - page 225 / 1110 » Different Approaches to Proof Systems |
141
click to vote
ISCAS
2006
IEEE
16 years 18 days ago
2006
IEEE
—We present an efficient approach for on-chip frequency response measurement, including phase and gain, of analog circuitry in mixed-signal systems. The approach uses direct digi...
160
click to vote
EH
2005
IEEE
16 years 6 days ago
2005
IEEE
The structure and operation of multi-cellular organisms relies, among other things, on the specialization of the cells’ physical structure to a finite set of specific operatio...
130
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—In state of the art systems, workload scheduling and server fan speed operate independently leading to cooling inefficiencies. In this work we propose GentleCool, a proactive m...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Assigning tasks to agents is complex, especially in highly dynamic environments. Typical protocol-based approaches for task assignment such as Contract Net have proven their value...
165
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we extend a model-based approach to security management with concepts and methods that provide a possibility for quantitative assessments. For this purpose we intr...