JSA
2008
13 years 10 months ago
2008
JSA
2008
13 years 11 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
JSA
2006
13 years 11 months ago
2006
It is often possible to greatly improve the performance of a hardware system via the use of predictive (speculative) techniques. For example, the performance of out-of-order micro...
JSA
2006
13 years 11 months ago
2006
ct 7 Social animals or insects in nature often exhibit a form of emergent collective behavior known as flocking. In this paper, 8 we present a novel Flocking based approach for doc...
JSA
2006
13 years 11 months ago
2006
In 2001, Jime
JSA
2006
13 years 11 months ago
2006
action Model for a Grid Execution Framework Kaizar Amin,c,a Gregor von Laszewski,,a,b Mihael Hategan,b,a Rashid Al-Ali,d Omer Rana,d and David Walkerc aArgonne National Laboratory,...
JSA
2006
13 years 11 months ago
2006
JSA
2006
13 years 11 months ago
2006
JSA
2006
13 years 11 months ago
2006
In this work, we show that data-intensive and frequently-used service functions such as memory allocation and deallocation entangle with application
JSA
2006
13 years 11 months ago
2006
Multimedia applications in general and video processing, such as the MPEG4 Visual stream decoders, in particular are increasingly popular and important workloads for future embedd...