3909 search results - page 365 / 782 » Extreme Model Checking |
155
click to vote
PVG
2003
IEEE
15 years 9 months ago
2003
IEEE
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...
131
click to vote
SLIP
2003
ACM
15 years 9 months ago
2003
ACM
In the past, a priori interconnect prediction, based on Rent’s rule, has been applied mainly for technology evaluation and roadmap applications. These applications do not requir...
151
click to vote
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
128
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
— This paper describes a Model Order Reduction algorithm for multi-dimensional parameterized systems, based on a sampling procedure which incorporates a low order moment matching...
108
click to vote
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
We explore a generalization of Ellsberg's paradox (2color scenario) to the Vague-Vague (V-V) case, in which neither of the probabilities (urns) is specified precisely, but on...