2513 search results - page 365 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
88
Voted
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
ASAP
2007
IEEE
15 years 2 months ago
2007
IEEE
Monte-Carlo simulations are used in many applications, such as option pricing and portfolio evaluation. Due to their high computational load and intrinsic parallelism, they are id...
101
Voted
CGO
2006
IEEE
15 years 1 months ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...
66
Voted
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...