Sciweavers

57
Voted
AMAST
1993
Springer
15 years 6 months ago
An Overview of the SODA System
Peter Thiemann
AMAST
1993
Springer
15 years 6 months ago
Peirce Algebras
Chris Brink, Katarina Britz
88
Voted
APL
1994
ACM
15 years 6 months ago
The Impact of APL on First Year Mathematics
ct In 1993, the Australian Federal Government's Committee for the Advancement of University Teaching (CAUT) funded a project to develop an integrated computationally rich firs...
Walter G. Spunde
57
Voted
AMAST
1993
Springer
15 years 6 months ago
The ASF+SDF Meta-environment
Arie van Deursen, T. B. Dinesh, Emma van der Meule...
109
Voted
EUROSYS
2010
ACM
15 years 6 months ago
Locating cache performance bottlenecks using data profiling
Effective use of CPU data caches is critical to good performance, but poor cache use patterns are often hard to spot using existing execution profiling tools. Typical profilers at...
Aleksey Pesterev, Nickolai Zeldovich, Robert T. Mo...
118
Voted
EUROSYS
2010
ACM
15 years 6 months ago
Fingerprinting the Datacenter: Automated Classification of Performance Crises
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...
Peter Bodik, Moises Goldszmidt, Armando Fox, Dawn ...
AC
1993
Springer
15 years 6 months ago
Introduction to Rewriting
Jean-Pierre Jouannaud
AC
1993
Springer
15 years 6 months ago
Examples of Termination
Nachum Dershowitz