21984 search results - page 111 / 4397 » C |
124
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Quantitative analysis of the swimming motions of C. elegans worms are of critical importance for many gene-related studies on aging. However no automated methods are currently in u...
161
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper, we investigate the core-switch mapping(CSM) problem that optimally maps cores onto an NoC architecture such that either the energy consumption or the congestion is ...
169
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Rapid design space exploration with accurate models is necessary to improve designer productivity at the electronic system level. We describe how to use a new event-based design f...
142
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
153
click to vote
PRIB
2009
Springer
16 years 27 days ago
2009
Springer
Discovery of molecular markers for efficient identification of living organisms remains a challenge of high interest. The diversity of species can now be observed in details with ...