1117 search results - page 210 / 224 » Improving Testing Efficiency using Cumulative Test Analysis |
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
CASES
2003
ACM
14 years 1 months ago
2003
ACM
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...
ICCL
1998
IEEE
14 years 26 days ago
1998
IEEE
We present a design and implementation of transactions and general-purpose persistence for Java. These additions allow Java programmers to manipulate any Java object using transac...
VISSYM
2004
13 years 10 months ago
2004
We present a three pass occlusion culling algorithm, which makes efficient use of hardware support. Our geo-scientific sub-surface data sets consist typically of a set of high res...