9626 search results - page 1747 / 1926 » Invariant Based Programming |
123
Voted
WCRE
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
124
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
This paper presents several novel theoretical results regarding the recovery of a low-rank matrix from just a few measurements consisting of linear combinations of the matrix entr...
122
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...
105
Voted
ASPDAC
2010
ACM
15 years 18 days ago
2010
ACM
- In this paper, we propose a novel and global A3MAP (Architecture-Aware Analytic Mapping) algorithm applied to NoC (Networks-on-Chip) based MPSoC (Multi-Processor System-on-Chip) ...
130
Voted
BICOB
2010
Springer
15 years 18 days ago
2010
Springer
Fold recognition is a key problem in computational biology that involves classifying protein sharing structural similarities into classes commonly known as "folds". Rece...