Sciweavers

467 search results - page 14 / 94
» Program fields for continuous software
Sort
View
BMCBI
2010
151views more  BMCBI 2010»
14 years 9 months ago
CCRaVAT and QuTie - enabling analysis of rare variants in large-scale case control and quantitative trait association studies
Background: Genome-wide association studies have been successful in finding common variants influencing common traits. However, these associations only account for a fraction of t...
Robert Lawrence, Aaron G. Day-Williams, Katherine ...
IWPSE
2005
IEEE
15 years 3 months ago
Extracting Sequence Diagram from Execution Trace of Java Program
A software system is continuously changed so many times. When we try to change a software, we must understand how the software is implemented, especially about the functions to be...
Koji Taniguchi, Takashi Ishio, Toshihiro Kamiya, S...
ICSE
2000
IEEE-ACM
15 years 1 months ago
Software engineering tools and environments: a roadmap
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...
Harold Ossher, William H. Harrison, Peri L. Tarr
86
Voted
ASPLOS
2010
ACM
15 years 4 months ago
Speculative parallelization using software multi-threaded transactions
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...
Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B....
CACM
2010
97views more  CACM 2010»
14 years 7 months ago
Certified software
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
Zhong Shao