549 search results - page 11 / 110 » Verification condition generation for conditional informatio... |
108
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Schulenburg [15] first proposed the idea to model different trader types by supplying different input information sets to a group of homogenous LCS agent. Gershoff [12] investigat...
105
Voted
CSFW
2007
IEEE
15 years 2 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
89
Voted
CDC
2008
IEEE
15 years 5 days ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
83
Voted
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
The standard approach to speaker verification is to extract cepstral features from the speech spectrum and model them by generative or discriminative techniques. We propose a nov...
113
Voted
CASES
2008
ACM
15 years 5 days ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...