486 search results - page 71 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
EMSOFT
2007
Springer
14 years 24 days ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
DAC
2011
ACM
12 years 8 months ago
2011
ACM
Existing thermal-aware 3D placement methods assume that the temperature of 3D ICs can be optimized by properly distributing the power dissipations, and ignoring the heat conductiv...
SEKE
2010
Springer
13 years 7 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
TITB
2008
13 years 8 months ago
2008
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
BMCBI
2007
13 years 9 months ago
2007
Background: Genome-wide association studies of common diseases for common, low penetrance causal variants are underway. A proportion of these will alter protein sequences, the mos...