685 search results - page 87 / 137 » A Comparative Study of Three Program Exploration Tools |
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
SIGGRAPH
1994
ACM
14 years 2 days ago
1994
ACM
We describe a data visualization system based on spreadsheets. Cells in our spreadsheet contain graphical objects such as images, volumes, or movies. Cells may also contain widget...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
IPPS
1999
IEEE
14 years 9 days ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
BMCBI
2008
13 years 8 months ago
2008
Background: The expressed sequence tag (EST) methodology is an attractive option for the generation of sequence data for species for which no completely sequenced genome is availa...