10707 search results - page 98 / 2142 » Designing executable abstractions |
116
click to vote
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
ion and Extensibility in Digital Logic Simulation Software Richard M. Salter and John L. Donaldson Computer Science Department Oberlin College Oberlin, OH 44074 rms@cs.oberlin.edu,...
112
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents an experimental evaluation of a brake-by-wire application that tolerates transient faults by temporal error masking. A specially designed real-time kernel that...
110
click to vote
ECRTS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
135
click to vote
WETICE
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
108
click to vote
ACSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
A concern about personal information confidentiality typically arises when any desktop application communicates to the external network, for example, to its producer's server...