3637 search results - page 563 / 728 » On Dynamic Bit-Probe Complexity |
169
click to vote
RULEML
2005
Springer
15 years 12 months ago
2005
Springer
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
158
click to vote
SAMOS
2005
Springer
15 years 12 months ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
150
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
167
click to vote
VLSI
2005
Springer
15 years 12 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
186
click to vote
WABI
2005
Springer
15 years 12 months ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...