614 search results - page 122 / 123 » LCLint: A Tool for Using Specifications to Check Code |
WSC
1998
13 years 8 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
DAC
1999
ACM
13 years 11 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...
HPCN
2000
Springer
13 years 11 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
BMCBI
2011
13 years 2 months ago
2011
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...
BMCBI
2010
13 years 7 months ago
2010
Background: High-throughput screens comparing growth rates of arrays of distinct micro-organism cultures on solid agar are useful, rapid methods of quantifying genetic interaction...