1795 search results - page 208 / 359 » On the Complexity of Circuit Satisfiability |
DATE
2003
IEEE
2003
IEEE
Exploiting the Routing Flexibility for Energy/Performance Aware Mapping of Regular NoC Architectures
14 years 3 months ago
In this paper, we present an algorithm which automatically maps the IPs onto a generic regular Network on Chip (NoC) architecture and constructs a deadlock-free deterministic rout...
IEEEAMS
2003
IEEE
14 years 3 months ago
2003
IEEE
The last three decades proved Moore’s Law. We witnessed an exponential increase in processing power, memory capacity and communication bandwidth and we expect this increase to c...
ICDT
2003
ACM
14 years 3 months ago
2003
ACM
All the languages for querying semistructured data and the web use as an integral part regular expressions. Based on practical observations, finding the paths that satisfy those r...
ICDT
2003
ACM
14 years 3 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
ITC
2002
IEEE
14 years 3 months ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...