Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
This paper, referring to a work in progress, describes functional elements of the user interface of a Virtual World that may provide an important contribution to the process by wh...
Filipe Santos, Benjamim Fonseca, Leonel Morgado, P...
Level set methods have been extensively used to track the dynamical interfaces between different materials for physically based simulation, geometry modeling, oceanic modeling and...
Xing Mei, Philippe Decaudin, Bao-Gang Hu, Xiaopeng...
—We present OCDIMM (Optically Connected DIMM), a CPU-DRAM interface that takes advantage of multiwavelength optical interconnects. We show that OCDIMM has at least three key bene...
Amit Hadke, Tony Benavides, S. J. Ben Yoo, Rajeeva...