First, this paper introduces a new family of k-in-a-row games, Connect(m, n, k, p, q). In Connect(m, n, k, p, q), two players alternately place p stones on an m × n board in each ...
133 views122 votes15 years 6 months ago MICRO 2005»
Predicated execution has been used to reduce the number of branch mispredictions by eliminating hard-to-predict branches. However, the additional instruction overhead and addition...
101 views103 votes15 years 6 months ago ISSTA 2004»
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
161 views125 votes15 years 6 months ago EAGC 2004»
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...
258 views130 votes15 years 6 months ago MICRO 2003»
A virtual instruction set architecture (V-ISA) implemented via a processor-specific software translation layer can provide great flexibility to processor designers. Recent examp...
108 views122 votes15 years 5 months ago OOPSLA 2001»
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
113 views102 votes15 years 5 months ago EDBT 2000»
Database systems support recovery, providing high database availability. However, database applications may lose work because of a server failure. In particular, if a database serv...
191 views108 votes15 years 4 months ago CCGRID 2009»
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
238 views126 votes15 years 2 months ago AUSDM 2008»
The exceptional growth of graphics hardware in programmability and data processing speed in the past few years has fuelled extensive research in using it for general purpose compu...
197 views122 votes15 years 2 months ago AAAI 2000»
Models for sequential decision making under uncertainty (e.g., Markov decision processes,or MDPs) have beenstudied in operations research for decades. The recent incorporation of ...