5241 search results - page 883 / 1049 » Embedded Programming with C |
108
Voted
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efļ¬...
136
Voted
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus Ī»Ī± with a sound type system using the notion of environment classiļ¬ers. They are special identiļ¬ers, with which code fr...
113
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Where do contracts ā speciļ¬cation elements embedded in executable code ā come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
147
click to vote
PETRA
2009
ACM
15 years 8 months ago
2009
ACM
Event search is the problem of identifying events or activity of interest in a large database storing long sequences of activity. In this paper, our topic is the problem of identi...
119
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
Network alignments are extensively used for comparing, exploring, and predicting biological networks. Existing alignment tools are mostly based on isomorphic and homeomorphic embe...