6047 search results - page 232 / 1210 » Modeling with Extend |
121
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
134
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
145
click to vote
FPL
2004
Springer
15 years 9 months ago
2004
Springer
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
141
click to vote
INEX
2004
Springer
15 years 9 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
108
Voted
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
An efficient model-order reduction technique for general RLC networks is proposed. The method is extended from the previous projection-base moment matching method with considerin...