Sciweavers

Share
9 search results - page 1 / 2
» Implicit Dynamic Frames: Combining Dynamic Frames and Separa...
Sort
View
ECOOP
2009
Springer
13 years 2 months ago
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
Jan Smans, Bart Jacobs 0002, Frank Piessens
VSTTE
2010
Springer
12 years 12 hour ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
IJCNN
2006
IEEE
12 years 7 months ago
Combining Multi-Frame Images for Enhancement Using Self-Delaying Dynamic Networks
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
Lewis Eric Hibell, Honghai Liu, David J. Brown
ICMCS
2008
IEEE
174views Multimedia» more  ICMCS 2008»
12 years 8 months ago
Blind motion-compensated video watermarking
The temporal correlation between adjacent video frames poses a severe challenges for video watermarking applications. Motioncoherent watermarking has been recognized as a strategy...
Peter Meerwald, Andreas Uhl
CORR
2010
Springer
96views Education» more  CORR 2010»
12 years 1 months ago
The theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
Bertrand Meyer
books