2786 search results - page 125 / 558 » A Practical Technique for Process Abstraction |
109
click to vote
IJCAI
2003
15 years 3 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
139
click to vote
CGO
2011
IEEE
14 years 5 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
88
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Metallic Carbon Nanotubes (CNTs) create source-drain shorts in Carbon Nanotube Field Effect Transistors (CNFETs), causing excessive leakage, degraded noise margin and delay variat...
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
132
Voted
DASFAA
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. Extracting data from web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interests. In this paper, we propose a...