This paper presents a novel technique for the modeling, simulation, and analysis of real-time applications on MultiProcessor Systems-on-Chip (MPSoCs). This technique is based on a...
As storage systems grow larger and more complex, the traditional block-based design of current disks can no longer satisfy workloads that are increasingly metadata intensive. A ne...
Ananth Devulapalli, Dennis Dalessandro, Pete Wycko...
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
WASMII, a virtual hardware system that executes data
ow algorithms, is based on an MPLD, an extended FPGA with multiple sets of conguration SRAM. Although we have developed an emu...
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...