5863 search results - page 894 / 1173 » On Model-Checking of P Systems |
246
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We are witnessing an explosive increase in the complexity of the information systems we rely upon. Autonomic systems address this challenge by continuously configuring and tuning ...
167
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
161
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
CT colonography is a screening technique for adenomatous colorectal polyps, which are important precursors to colon cancer. Computer aided detection (CAD) systems are developed to...
164
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Prior knowledge is a critical resource for design, especially when designers are striving to generate new ideas for complex problems. Systems that improve access to relevant prior...
169
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Continuous evolution in process technology brings energyefficiency and reliability challenges, which are harder for memory system designs since chip multiprocessors demand high ba...