Sciweavers

4250 search results - page 220 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
IPPS
2007
IEEE
14 years 5 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
DATE
1998
IEEE
89views Hardware» more  DATE 1998»
14 years 3 months ago
Characterization-Free Behavioral Power Modeling
We propose a new approach to RT-level power modeling for combinationalmacros, that does not require simulationbased characterization. A pattern-dependent power model for a macro i...
Alessandro Bogliolo, Luca Benini, Giovanni De Mich...
ICPR
2002
IEEE
14 years 3 months ago
Mutual Information Based Evaluation of 3D Building Models
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
Ildiko Suveg, George Vosselman
ERCIMDL
1999
Springer
111views Education» more  ERCIMDL 1999»
14 years 3 months ago
PIA - A Generic Model and System for Interactive Product and Service Catalogs
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
Florian Matthes, Ulrike Steffens
CADE
1992
Springer
14 years 2 months ago
Caching and Lemmaizing in Model Elimination Theorem Provers
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
Owen L. Astrachan, Mark E. Stickel