Sciweavers

1702 search results - page 36 / 341
» Doomed program points
Sort
View
ICMCS
2005
IEEE
112views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Online End Detection for Live-Broadcast Sports TV Programs
In this paper, a method for automatically detecting the end of lively broadcasted sports programs is proposed, which enables users to record the full TV programs when they run ove...
Hao-Da Huang, Xian-Sheng Hua, Shipeng Li, Hong-Jia...
GECCO
2004
Springer
15 years 9 months ago
Evolving Quantum Circuits and Programs Through Genetic Programming
Abstract. Spector et al. have shown [1],[2],[3] that genetic programming can be used to evolve quantum circuits. In this paper, we present new results in this field, introducing p...
Paul Massey, John A. Clark, Susan Stepney
IACR
2011
104views more  IACR 2011»
14 years 4 months ago
Collusion Resistant Obfuscation and Functional Re-encryption
Program Obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Des...
Nishanth Chandran, Melissa Chase, Vinod Vaikuntana...
POPL
1999
ACM
15 years 8 months ago
Parametric Shape Analysis via 3-Valued Logic
hought of as abstract interpretation for the heap How we talk about the heap   Program var X points to U that has an N field pointing to V   We use first order predicate logic ¡...
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
IFIP
2009
Springer
15 years 2 months ago
A User Interface for a Game-Based Protocol Verification Tool
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
Peeter Laud, Ilja Tsahhirov