Sciweavers

JSA
2008
131views more  JSA 2008»
13 years 9 months ago
Formal verification of ASMs using MDGs
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...
Amjad Gawanmeh, Sofiène Tahar, Kirsten Wint...
JSA
2006
97views more  JSA 2006»
13 years 10 months ago
Dynamic feature selection for hardware prediction
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...
Alan Fern, Robert Givan, Babak Falsafi, T. N. Vija...
JSA
2006
82views more  JSA 2006»
13 years 10 months ago
A flocking based algorithm for document clustering analysis
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...
Xiaohui Cui, Jinzhu Gao, Thomas E. Potok
JSA
2006
108views more  JSA 2006»
13 years 10 months ago
Improved composite confidence mechanisms for a perceptron branch predictor
In 2001, Jime
Veerle Desmet, Lieven Eeckhout, Koen De Bosschere
JSA
2006
94views more  JSA 2006»
13 years 10 months ago
An abstraction model for a Grid execution framework
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,...
Kaizar Amin, Gregor von Laszewski, Mihael Hategan,...
JSA
2006
91views more  JSA 2006»
13 years 10 months ago
Case studies for self-organization in computer science
Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Fr...
JSA
2006
56views more  JSA 2006»
13 years 10 months ago
Integrating XP project management in development environments
Manuela Angioni, Davide Carboni, S. Pinna, Raffael...
JSA
2006
52views more  JSA 2006»
13 years 10 months ago
Intelligent memory manager: Reducing cache pollution due to memory management functions
In this work, we show that data-intensive and frequently-used service functions such as memory allocation and deallocation entangle with application
Mehran Rezaei, Krishna M. Kavi
JSA
2006
167views more  JSA 2006»
13 years 10 months ago
Pattern-driven prefetching for multimedia applications on embedded processors
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...
Hassan Sbeyti, Smaïl Niar, Lieven Eeckhout