277 search results - page 53 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
117
click to vote
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper presents a novel application of modular robotic technology. Many researchers expect manufacturing technology will allow robot modules to be built at smaller ...
115
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...
110
click to vote
ISORC
2003
IEEE
15 years 4 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
125
Voted
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
110
click to vote
PASTE
2010
ACM
15 years 4 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...