8627 search results - page 1391 / 1726 » Software Engineering Using RATionale |
180
Voted
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
195
click to vote
ICSR
2004
Springer
16 years 6 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...
300
click to vote
PARA
2004
Springer
16 years 5 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...
174
click to vote
IOLTS
2003
IEEE
16 years 3 days ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
167
click to vote
ISSRE
2003
IEEE
16 years 3 days ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...