353 search results - page 51 / 71 » TRICS: A Testing Tool for C |
ECBS
2009
IEEE
14 years 2 months 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...
ESWS
2009
Springer
14 years 2 months 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...
IMC
2006
ACM
14 years 1 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 ...
SIGOPS
2011
13 years 2 months 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...
BIOINFORMATICS
2011
13 years 2 months 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...