353 search results - page 51 / 71 » TRICS: A Testing Tool for C |
172
click to vote
ECBS
2009
IEEE
16 years 20 days ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
145
click to vote
ESWS
2009
Springer
16 years 13 days ago
2009
Springer
The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for webpages to URIs for “real objects and imaginary concepts...
159
click to vote
IMC
2006
ACM
15 years 11 months ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
209
click to vote
SIGOPS
2011
15 years 24 days ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
172
click to vote
BIOINFORMATICS
2011
15 years 11 days ago
2011
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...