13180 search results - page 2581 / 2636 » Network Models |
133
click to vote
VLSID
2002
IEEE
16 years 8 days ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
201
click to vote
POPL
2007
ACM
16 years 6 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
185
click to vote
SIGMOD
2008
ACM
16 years 1 days ago
2008
ACM
Graphs are widely used to model real world objects and their relationships, and large graph datasets are common in many application domains. To understand the underlying character...
177
click to vote
SIGMOD
2007
ACM
16 years 1 days ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
SIGMOD
2003
ACM
16 years 1 days ago
2003
ACM
The United States Environmental Protection Agency (EPA) prepares a national criteria and hazardous air pollutant (HAP) emission inventory with input from numerous states, local an...