5247 search results - page 374 / 1050 » The Generalized A* Architecture |
275
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
This paper presents analysis methods for energy estimation in RC trees driven by time-varying voltage sources, e.g., buffers, timevarying power supplies, and resonant clock genera...
219
click to vote
VLSID
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
181
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract — This paper describes a practical technique for the optimal scheduling of control dominated systems minimizing the weighted average latency over all control branches. S...
211
click to vote
ACSD
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
219
click to vote
ICDS
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents the general design of an architecture, based on software agents and oriented to the semantic Web, for the development and deployment of urban, ubiquitous servi...