3792 search results - page 230 / 759 » Techniques for Trusted Software Engineering |
162
click to vote
VMCAI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
157
click to vote
COMPSAC
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes our research into the application of fault injection to Simple Object Access Protocol (SOAP) based Service Oriented-Architectures (SOA). We show that our prev...
151
click to vote
PEPM
2004
ACM
15 years 12 months ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
162
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
High-order matrix or vector expressions tend to be penalized by the use of huge temporary variables. Expression templates is a C++ technique which can be used to avoid these tempor...
240
click to vote
GCSE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...