To investigate the nature of people’s understandings for how search engines work, we collected data from 232 undergraduate and graduate students. Students were asked to “draw ...
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
This paper explores how people read books online. Instead of observing individuals, we analyze usage of an online digital library of children’s books (the International Childrenâ...
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...
The Binary Search Tree serves as an important example when teaching data structures. We explore new approaches to understanding the implementation of a Binary Search Tree, using c...