15778 search results - page 2818 / 3156 » Aikido and software engineering |
163
Voted
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
173
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
161
click to vote
ICSR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answere...
193
click to vote
ICSR
2004
Springer
16 years 5 days ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
299
click to vote
PARA
2004
Springer
16 years 4 days ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...