7890 search results - page 1365 / 1578 » The MathSAT 3 System |
190
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Multiple clock cycles are needed to cross the global interconnects for multi-gigahertz designs in nanometer technologies. For synchronous design, this requires the consideration o...
184
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
151
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
There is general consensus that critical mass at inception ensures the sustained success of online communities. However, no clear understanding of what constitutes such a 'cr...
153
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
We performed a content analysis of the information shared in a locally and culturally focused health application, EatWell. In EatWell, information is shared via the creation of au...
222
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
The Semantic Web community, until now, has used traditional database systems for the storage and querying of RDF data. The SPARQL query language also closely follows SQL syntax. A...