21984 search results - page 111 / 4397 » C |
MICCAI
2008
Springer
16 years 5 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...
125
click to vote
ICCD
2004
IEEE
16 years 29 days 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 ...
137
click to vote
DATE
2009
IEEE
15 years 10 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...
108
click to vote
TPHOL
2009
IEEE
15 years 10 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,...
112
click to vote
PRIB
2009
Springer
15 years 10 months 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 ...