181 search results - page 9 / 37 » Symbolic system level reliability analysis |
ASPLOS
2011
ACM
13 years 10 days ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we study the major modules of on-line handwritten chemical expressions recognition. We propose a novel two-level algorithm to recognize expressions. In the first le...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— For multiple-input multiple-output (MIMO) systems, the optimum maximum likelihood (ML) detection requires tremendous complexity as the number of antennas or modulation ...
OSDI
2008
ACM
13 years 11 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
USS
2008
13 years 11 months ago
2008
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...