1039 search results - page 131 / 208 » The Def-inite Approach to Dependency Analysis |
141
click to vote
ISLPED
2007
ACM
15 years 3 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
DAC
1999
ACM
16 years 2 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The success of the Semantic Web depends on the availability of ontologies as well as on the proliferation of web pages annotated with metadata conforming to these ontologies. Thus...
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
— MPSoC is evolving towards processor-pool (PP)-based architectures, which employ hierarchical on-chip network for inter- and intra-PP communication. Since the design space of PP...
113
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...