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...
BPQL is a novel query language for querying business process speciļ¬cations, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Titanium is a language and system for high-performance parallel scientiļ¬c computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
Katherine A. Yelick, Luigi Semenzato, Geoff Pike, ...
For many applications in graphics, design, and human computer interaction, it is essential to understand where humans look in a scene. Where eye tracking devices are not a viable o...
Tilke Judd, Krista Ehinger, Fr“edo Durand, Antoni...
XML is suitable for structuring complex data coming from diļ¬erent sources and supported by heterogeneous formats. It allows a ļ¬exible formalism capable to represent and store d...