1678 search results - page 161 / 336 » An ASM Specification of C |
176
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Extracting biological information from high-density Affymetrix arrays is a multi-step process that begins with the accurate annotation of microarray probes. Shortfalls...
152
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
Performance of WLANs has been extensively studied during the past few years. While the focus has mostly been on isolated cells, the coverage of WLANs is in practice most often rea...
157
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
175
click to vote
INTERACTIONS
2010
15 years 4 months ago
2010
s on Human Factors in Computing Systems. CHI ‘07. New York: ACM, 2007. university environment at scale, with structure, and with rigor. The notion of studio culture and learning ...
160
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...