In this paper, we present an in-depth analysis of the memory system performance of the DSS commercial workloads on two state-of-the-art multiprocessors: the SGI Origin 2000 and th...
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
We study how student behaviors associated with engagement differ across different school settings. We present a study to investigate the variation in gaming the system and off-task...
Ma. Mercedes T. Rodrigo, Ryan Shaun Joazeiro de Ba...
Computed Tomography (CT) is one of the fastest growing diagnostic imaging procedures. Rapid advances in imaging technologies in conjunction with their widening adoption are some o...
We describe an approach to presenting information in spoken dialogues that for the first time brings together multi-attribute decision models, strategic content planning, state-of...
Johanna D. Moore, Mary Ellen Foster, Oliver Lemon,...