2219 search results - page 396 / 444 » Dynamic Programming and Graph Algorithms in Computer Vision |
157
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
161
Voted
IPPS
2010
IEEE
15 years 2 days ago
2010
IEEE
The Coarse-Grained Monte Carlo (CGMC) method is a multi-scale stochastic mathematical and simulation framework for spatially distributed systems. CGMC simulations are important too...
112
click to vote
ICALT
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
130
Voted
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
130
click to vote
CF
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we describe a new technique, called pipeline spectroscopy, and use it to measure the cost of each cache miss. The cost of a miss is displayed (graphed) as a histogra...