14244 search results - page 2640 / 2849 » Modeling Program Predictability |
211
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. During this decade, it has been observed that many realworld graphs, like the web and some social and metabolic networks, have a scale-free structure. These graphs are ch...
208
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
133
click to vote
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
105
click to vote
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
Can engaging students in free and open source software (FOSS) pique their interest in computer science? This paper describes an introductory computer science course that introduce...
133
Voted
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...