Sciweavers

287 search results - page 1 / 58
» Introducing parallelism and concurrency in the data structur...
Sort
View
SIGCSE
2012
ACM
278views Education» more  SIGCSE 2012»
12 years 11 days ago
Introducing parallelism and concurrency in the data structures course
We report on our experience integrating a three-week
Dan Grossman, Ruth E. Anderson
POPL
2009
ACM
13 years 11 months ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...
CAV
2010
Springer
239views Hardware» more  CAV 2010»
13 years 8 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
FECS
2006
152views Education» more  FECS 2006»
13 years 6 months ago
Infusing Critical Thinking Skill Compare and Contrast into Content of Data Structures Course
This paper describes some of our efforts in infusing the critical thinking skill of comparing and contrasting into a course on data structures. Comparing and contrasting is the pr...
M. R. K. Krishna Rao, Muhammad Shafique, Kanaan A....