In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P....
Resource discovery and monitoring in a distributed Grid environment gives rise to several issues, one of which is the provision of reliable performance and hence, the quality-ofse...
Helene N. Lim Choi Keung, Justin R. D. Dyson, Step...
Abstract. The performance of HPF codes is in uenced by the characteristics of the parallel system and by the e ciency of the compilation system. Performance analysis has to take in...
Maria Calzarossa, Luisa Massari, Alessandro P. Mer...
Applications designed to execute on "computational grids" frequently require the simultaneous co-allocation of multiple resources in order to meet performance requiremen...
Optical interconnects are useful for high-performance electronic computing systems when the number-ofchannels, the bit-rate per channel, the channel density, and the communication...
Ashok V. Krishnamoorthy, Jon Lexau, Xuezhe Zheng, ...