277 search results - page 51 / 56 » Towards an automatic complexity analysis for generic program... |
OOPSLA
2009
Springer
14 years 2 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ï¬...
SERA
2004
Springer
14 years 25 days ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We consider the succinct representation of ordinal and cardinal trees on the RAM with logarithmic word size. Given a tree T, our representations support the following ope...
BIS
2007
13 years 9 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...
BMCBI
2005
13 years 7 months ago
2005
Background: Single nucleotide polymorphisms (SNPs) provide an important tool in pinpointing susceptibility genes for complex diseases and in unveiling human molecular evolution. S...