Sciweavers

5343 search results - page 746 / 1069
» Keyword programming in java
Sort
View
161
Voted
ASPLOS
2010
ACM
16 years 1 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
SIGCSE
2010
ACM
182views Education» more  SIGCSE 2010»
16 years 1 months ago
Frances: a tool for understanding code generation
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
Tyler Sondag, Kian L. Pokorny, Hridesh Rajan
SIGCSE
2010
ACM
175views Education» more  SIGCSE 2010»
16 years 1 months ago
Compatibility of partnered students in computer science education
This paper details the results of an investigation into the compatibility of partnered computer science students. The study involved approximately 290 students at the University o...
Joshua Sennett, Mark Sherriff
SIGCSE
2010
ACM
181views Education» more  SIGCSE 2010»
16 years 1 months ago
Teaching the principles of the hacker curriculum to undergraduates
The ā€œHacker Curriculumā€ exists as a mostly undocumented set of principles and methods for learning about information security. Hacking, in our view, is defined by the ability...
Sergey Bratus, Anna Shubina, Michael E. Locasto
ASPLOS
2009
ACM
16 years 1 months ago
Recovery domains: an organizing principle for recoverable operating systems
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...
Andrew Lenharth, Vikram S. Adve, Samuel T. King