Sciweavers

5689 search results - page 297 / 1138
» A Performance Process Maturity Model
Sort
View
ICPR
2010
IEEE
16 years 2 months ago
Statistical Shape Modeling using Morphological Representations
The aim of this paper is to propose tools for statistical analysis of shape families using morphological operators. Given a series of shape families (or shape categories), the appr...
S. Velasco-Forero and J. Angulo
ICRA
2007
IEEE
97views Robotics» more  ICRA 2007»
16 years 1 months ago
High-Stroke Motion Modelling and Voltage/Frequency Proportional Control of a Stick-Slip Microsystem
Abstract— A new control type for stick-slip microsystems is proposed in this paper: the voltage/frequency (U/f) proportional control. It gives a best resolution relatively to the...
Micky Rakotondrabe, Yassine Haddab, Philippe Lutz
ASPDAC
2004
ACM
106views Hardware» more  ASPDAC 2004»
16 years 20 days ago
A novel memory size model for variable-mapping in system level design
— It is predicted that 70% of the chip area will be occupied by memories in future system-onchips. The minimization of on-chip memory hence becomes increasingly important for cos...
Lukai Cai, Haobo Yu, Daniel Gajski
EUROPKI
2004
Springer
16 years 18 days ago
A Probabilistic Model for Evaluating the Operational Cost of PKI-based Financial Transactions
The use of PKI in large scale environments suffers some inherent problems concerning the options to adopt for the optimal cost-centered operation of the system. In this paper a Mar...
Agapios N. Platis, Costas Lambrinoudakis, Assimaki...
SNPD
2008
15 years 8 months ago
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...