Sciweavers

188 search results - page 14 / 38
» Developing a Hardware Evaluation Method for SHA-3 Candidates
Sort
View
134
Voted
CVPR
2012
IEEE
12 years 12 months ago
Visual tracking via adaptive structural local sparse appearance model
Sparse representation has been applied to visual tracking by finding the best candidate with minimal reconstruction error using target templates. However most sparse representati...
Xu Jia, Huchuan Lu, Ming-Hsuan Yang
79
Voted
TOOLS
2010
IEEE
14 years 7 months ago
Visualizing Dynamic Metrics with Profiling Blueprints
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
Alexandre Bergel, Romain Robbes, Walter Binder
74
Voted
ENTCS
2007
101views more  ENTCS 2007»
14 years 9 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
70
Voted
SIGSOFT
2003
ACM
15 years 2 months ago
Evaluating and improving the automatic analysis of implicit invocation systems
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
Jeremy S. Bradbury, Jürgen Dingel
OTM
2007
Springer
15 years 3 months ago
OntoCase - A Pattern-Based Ontology Construction Approach
As the technologies facilitating the Semantic Web become more and more mature they are also adopted by the business world. When developing semantic applications, constructing the u...
Eva Blomqvist