21324 search results - page 206 / 4265 » Making the case for computing |
103
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In spite of the high parallelism exhibited by cellular automata architectures, most implementations are usually run in software. For increasing execution parallelism, hardware imp...
131
Voted
CG
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. By developing an intelligent computer system that will provide commentary of chess moves in a comprehensible, user-friendly and instructive way, we are trying to use the ...
96
Voted
FPL
2004
Springer
15 years 9 months ago
2004
Springer
The paper describes two methods for the design of matrix-oriented SAT solvers based on data compression. The first one provides matrix compression in a host computer and decompress...
138
Voted
DAC
1998
ACM
16 years 4 months ago
1998
ACM
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
136
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...