3249 search results - page 553 / 650 » C Based Hardware Design for Wireless Applications |
163
click to vote
SIGCPR
1999
ACM
15 years 10 months ago
1999
ACM
This report offers an interrogative-based approach to differentiating and quantifying information and knowledge within text. We examine the work of Popper, Shannon, Weaver, Brooke...
200
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
163
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
When an application or external environmental conditions cause a chip's cooling capacity to be exceeded, dynamic thermal management (DTM) dynamically reduces the power densit...
177
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
161
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— A novel wave-pipelined global interconnect system is developed for reliable, high throughput, on-chip data communication. We argue that because there is only a single signal pr...