3128 search results - page 316 / 626 » Finite element method |
121
click to vote
ITCC
2003
IEEE
15 years 10 months ago
2003
IEEE
As large main memory becomes more and more available at reasonable prices, processing speed of large data sets becomes more important than reducing main memory usage of internal d...
103
click to vote
DSD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the po...
128
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
115
click to vote
AGP
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
138
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...