Sciweavers

1994 search results - page 208 / 399
» Computation of Optical Flow Using Dynamic Programming
Sort
View
68
Voted
SCP
2010
108views more  SCP 2010»
14 years 8 months ago
Combining dynamic and static slicing for analysing assembler
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
Martin P. Ward, Hussein Zedan
JUCS
2010
134views more  JUCS 2010»
14 years 8 months ago
Newton Method for Nonlinear Dynamic Systems with Adaptive Time Stepping
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
Wensheng Shen, Changjiang Zhang, Jun Zhang, Xiaoqi...
103
Voted
IWMM
2007
Springer
118views Hardware» more  IWMM 2007»
15 years 4 months ago
Detecting and eliminating memory leaks using cyclic memory allocation
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
Huu Hai Nguyen, Martin C. Rinard
GLOBECOM
2009
IEEE
15 years 5 months ago
Maximizing Lifetime of Sensor-Target Surveillance in Wireless Sensor Networks
—The paper addresses the maximal lifetime problem in sensor-target surveillance networks. Given a set of sensors and targets in an Euclidean plane, each sensor can watch all targ...
Hai Liu, Xiaowen Chu, Yiu-Wing Leung, Xiaohua Jia,...
93
Voted
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
15 years 3 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond