176 search results - page 7 / 36 » Efficient Symbolic Simulation of Low Level Software |
70
Voted
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
BCSHCI
2008
14 years 11 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
EMSOFT
2004
Springer
15 years 1 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
EUROPAR
2006
Springer
15 years 1 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...