57 search results - page 6 / 12 » Using Controller-Synthesis Techniques to Build Property-Enfo... |
DAIS
2010
14 years 11 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
ISTA
2003
14 years 11 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
106
click to vote
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
108
click to vote
ASPLOS
2011
ACM
14 years 1 months 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...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...