430 search results - page 46 / 86 » formats 2005 |
ZUM
2005
Springer
15 years 5 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
CEC
2005
IEEE
15 years 1 months ago
2005
IEEE
Timetabling problems are constraint optimization problems proven to be NP complete. Furthermore, evaluation of violations is costly, and there is no common data format for represen...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
This paper presents a new test response compaction technique with any number of unknown logic values (X’s) in the test response bits. The technique leverages an X-tolerant respo...
AMC
2005
14 years 11 months ago
2005
In this paper, we study graphs that arise from certain sensory and communication limitations on the local interactions in multi-agent systems. In particular, we show that the set ...
BIOINFORMATICS
2005
14 years 11 months ago
2005
Summary: MADE4, microarray ade4, is a software package that facilitates multivariate analysis of microarray gene expression data. MADE4 accepts a wide variety of gene expression d...