1350 search results - page 129 / 270 » Reasoning about Staged Computation |
139
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
122
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
Iterative-improvement 2-way min-cut partitioning is an important phase in most circuit partitioning tools. Most iterative improvement techniques for circuit netlists like the Fidd...
197
click to vote
SIGCSE
2000
ACM
15 years 10 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
190
click to vote
BIRTHDAY
2009
Springer
15 years 3 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
158
click to vote
SC
2009
ACM
16 years 11 days ago
2009
ACM
In this paper, we discuss some of the lessons that we have learned working with the Hadoop and Sector/Sphere systems. Both of these systems are cloud-based systems designed to sup...