Sciweavers

11784 search results - page 362 / 2357
» Improving Software Process Improvement
Sort
View
ICDCS
1997
IEEE
15 years 11 months ago
Multi-threading and Remote Latency in Software DSMs
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
Kritchalach Thitikamol, Peter J. Keleher
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 10 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu
JSS
2008
93views more  JSS 2008»
15 years 6 months ago
Search-based refactoring for software maintenance
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...
Mark Kent O'Keeffe, Mel Ó Cinnéide
NAR
1998
68views more  NAR 1998»
15 years 6 months ago
p53 gene mutation: software and database
A large number of different mutations in the p53 tumor suppressor gene have been identified in all types of cancer. As of October, 1997, this database (http:// perso.curie.fr/tsou...
Christophe Béroud, Thierry Soussi
ICCAD
2001
IEEE
184views Hardware» more  ICCAD 2001»
16 years 3 months ago
CALiBeR: A Software Pipelining Algorithm for Clustered Embedded VLIW Processors
In this paper we describe a software pipelining framework, CALiBeR (Cluster Aware Load Balancing Retiming Algorithm), suitable for compilers targeting clustered embedded VLIW proc...
Cagdas Akturan, Margarida F. Jacome