4323 search results - page 627 / 865 » Callback Implementations in C |
165
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
153
click to vote
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...
123
click to vote
AROBOTS
2007
15 years 4 months ago
2007
This research details the application of non-verbal communication display behaviors to an autonomous humanoid robot, including the use of proxemics, which to date has been seldom ...
146
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Contact maps have been extensively used as a simplified representation of protein structures. They capture most important features of a protein's fold, being pref...
101
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The Immune Epitope Database contains information on immune epitopes curated manually from the scientific literature. Like similar projects in other knowledge domains, ...