20175 search results - page 3905 / 4035 » Is abstraction the key to computing |
110
Voted
ASM
2008
ASM
15 years 2 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
140
click to vote
ATC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
95
Voted
BIRD
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Gaussian graphical models are widely used to tackle the important and challenging problem of inferring genetic regulatory networks from expression data. These models have...
113
click to vote
ICDCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—We propose RoLo (Rotated Logging), a new logging architecture for RAID10 systems for enhanced energy efficiency, performance and reliability. By spreading destaging I/O...
126
click to vote
ACMSE
2006
ACM
15 years 2 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...