50 search results - page 8 / 10 » Toward a Source Coding Theory for Sets |
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
WSC
2004
13 years 8 months ago
2004
To improve its process modeling capabilities, Los Alamos has worked toward integrating dose modeling tools with advanced discrete-event simulation tools. To date, dose information...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—The Grassmann manifold Gn,p (L) is the set of all p-dimensional planes (through the origin) in the n-dimensional Euclidean space Ln , where L is either R or C. This paper consid...