JSA
2008
13 years 3 months ago
2008
JSA
2008
13 years 4 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 4 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 4 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 4 months ago
2006
In 2001, Jime
JSA
2006
13 years 4 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 4 months ago
2006
JSA
2006
13 years 4 months ago
2006
JSA
2006
13 years 4 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 4 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...