Sciweavers

5689 search results - page 212 / 1138
» A Performance Process Maturity Model
Sort
View
ENTCS
2008
134views more  ENTCS 2008»
15 years 6 months ago
A Stack-Slicing Algorithm for Multi-Core Model Checking
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
Gerard J. Holzmann
ICASSP
2011
IEEE
14 years 10 months ago
Joint dictionary learning and topic modeling for image clustering
A new Bayesian model is proposed, integrating dictionary learning and topic modeling into a unified framework. The model is applied to cluster multiple images, and a subset of th...
Lingbo Li, Mingyuan Zhou, Eric Wang, Lawrence Cari...
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
15 years 11 months ago
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Ad...
WSC
1989
15 years 7 months ago
Adaptive distribution of model components via congestion measures
One of the factors affecting the performance of distributed simulation models is the assignment of logical processes to processors. This paper outlines a dynamic allocation scheme...
Murali S. Shanker, W. David Kelton, Rema Padman
177
Voted
ICIP
2000
IEEE
16 years 8 months ago
Dynamic Memory Model Based Optimization of Scalar and Vector Quantizer for Fast Image Encoding
The rapid progress of computers and today's heterogeneous computing environment means computation-intensive signal processing algorithms must be optimized for performance in ...
Gene Cheung, Steven McCanne