757 search results - page 86 / 152 » Monte Carlo Model Checking |
119
Voted
HLK
2003
IEEE
15 years 8 months ago
2003
IEEE
In some applications objects are known to have nonsmooth or “jagged” edges, which are not well approximated by smooth curves. We use subdivision curves as a simple but flexib...
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
115
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, the critical clearing time, tcc in power system transient stability analysis is modeled as a random variable due to the randomness nature of power system load. A lin...
113
Voted
ISSRE
2000
IEEE
15 years 7 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
129
Voted
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
When a lack of data inhibits decision making, large scale what-if queries can be conducted over the uncertain parameter ranges. Such what-if queries can generate an overwhelming a...