Sciweavers

1009 search results - page 31 / 202
» Performance Analysis of UML Models Using Aspect-Oriented Mod...
Sort
View
ICPADS
2005
IEEE
14 years 1 months ago
Systematic Performance Modeling and Characterization of Heterogeneous IP Networks
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
Alessio Botta, Donato Emma, Antonio Pescapè...
CAIP
2005
Springer
260views Image Analysis» more  CAIP 2005»
14 years 29 days ago
An Illumination Invariant Face Recognition Approach Using Exemplar-Based Synthesis Technique
Abstract. This paper proposes a new method to solve the problem of face recognition under varying illumination conditions. We introduce an exemplar-based technique to decouple and ...
Tele Tan, Thorsten Kühnapfel, Amelyn Wongso, ...
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 4 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
CORR
2007
Springer
134views Education» more  CORR 2007»
13 years 7 months ago
Web data modeling for integration in data warehouses
In a data warehousing process, the data preparation phase is crucial. Mastering this phase allows substantial gains in terms of time and performance when performing a multidimensio...
Sami Miniaoui, Jérôme Darmont, Omar B...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier