Sciweavers

593 search results - page 50 / 119
» tools 2011
Sort
View
ECOOP
2011
Springer
14 years 3 months ago
Tunable Static Inference for Generic Universe Types
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
Werner Dietl, Michael D. Ernst, Peter Müller
ICSE
2011
IEEE-ACM
14 years 7 months ago
Miler: a toolset for exploring email data
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
Alberto Bacchelli, Michele Lanza, Marco D'Ambros
COR
2011
14 years 10 months ago
A Lagrangian heuristic for satellite range scheduling with resource constraints
The task of scheduling communications between satellites and ground control stations is getting more and more critical since an increasing number of satellites must be controlled ...
Fabrizio Marinelli, Salvatore Nocella, Fabrizio Ro...
IAJIT
2011
14 years 10 months ago
GUI structural metrics
: User interfaces have special characteristics that differentiate them from the rest of the software code. Typical software metrics that indicate its complexity and quality may not...
Izzat Alsmadi, Mohammed Al-Kabi
NAR
2011
251views Computer Vision» more  NAR 2011»
14 years 10 months ago
The IMGT/HLA database
The IMGT/HLA database (http://www.ebi.ac.uk/imgt/ hla) has provided a centralized repository for the sequences of the alleles named by the WHO Nomenclature Committee for Factors o...
James Robinson, Kavita Mistry, Hamish McWilliam, R...