5832 search results - page 947 / 1167 » Software complexity and maintainability |
204
click to vote
RTAS
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
208
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Orthology analysis is an important part of data analysis in many areas of bioinformatics such as comparative genomics and molecular phylogenetics. The ever-increasing ...
193
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
228
click to vote
CLUSTER
2011
IEEE
14 years 6 months ago
2011
IEEE
—For many organizations, one attractive use of cloud resources can be through what is referred to as cloud bursting or the hybrid cloud. These refer to scenarios where an organiz...
232
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...