10048 search results - page 326 / 2010 » The Structure and Performance of Interpreters |
187
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
183
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Information technologies hold great promise in their ability to link distributed workers, allowing organizations to take advantage of the potential benefits of effectively gatheri...
157
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Structured-ASIC design provides a mid-way point between FPGA and cell-based ASIC design for performance, area and power, but suffers from the same increasing verification burden a...
200
click to vote
SETN
2004
Springer
16 years 27 days ago
2004
Springer
This work explores the application of clustering methods for grouping structurally similar XML documents. Modeling the XML documents as rooted ordered labeled trees, we apply clust...
170
click to vote
ICTAI
2002
IEEE
16 years 14 days ago
2002
IEEE
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...