6829 search results - page 74 / 1366 » Quantitative Generalizations of Languages |
SOCRATES
2008
15 years 2 months ago
2008
The paper presents the activities and the results of the "Child Observation in school context workshop", an on line course realized during the last academic years at Mac...
216
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
166
click to vote
IWMM
2011
Springer
14 years 3 months ago
2011
Springer
At the heart of all garbage collectors lies the process of identifying and processing reference fields within an object. Despite its key role, and evidence of many different impl...
109
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
103
Voted
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...