Sciweavers

12453 search results - page 132 / 2491
» Concurrent Data Structures
Sort
View
91
Voted
SIGCSE
1999
ACM
91views Education» more  SIGCSE 1999»
15 years 7 months ago
Using randomization in the teaching of data structures and algorithms
We describe an approach for incorporating randomization in the teaching of data structures and algorithms. The proofs we include are quite simple and can easily
Michael T. Goodrich, Roberto Tamassia
SIGCSE
2012
ACM
310views Education» more  SIGCSE 2012»
13 years 10 months ago
CSTutor: a pen-based tutor for data structure visualization
We present CSTutor, a sketch-based interface designed to help students understand data structures. It currently supports Linked Lists, Binary Search Trees, AVL Trees, and Heaps, a...
Sarah Buchanan, Brandon Ochs, Joseph J. LaViola Jr...
142
Voted
JPDC
2011
219views more  JPDC 2011»
14 years 9 months ago
BlobSeer: Next-generation data management for large scale infrastructures
As data volumes increase at a high speed in more and more application fields of science, engineering, information services, etc., the challenges posed by data-intensive computing...
Bogdan Nicolae, Gabriel Antoniu, Luc Bougé,...
191
Voted
POPL
2001
ACM
16 years 2 months ago
BI as an Assertion Language for Mutable Data Structures
Samin S. Ishtiaq, Peter W. O'Hearn
114
Voted
AAECC
1999
Springer
112views Algorithms» more  AAECC 1999»
15 years 2 months ago
MRC - Data Structures and Procedures for Computing in Monoid and Group Rings
Gr
Birgit Reinert, Dirk Zeckzer