6054 search results - page 961 / 1211 » Implementation of Andorra-based Languages |
163
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
144
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
Modern applications such as Microsoft Word have many automatic features and hidden dependencies that are frequently helpful but can be mysterious to both novice and expert users. ...
154
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
127
click to vote
HPCA
2005
IEEE
16 years 5 months ago
2005
IEEE
Many important applications exhibit large amounts of data parallelism, and modern computer systems are designed to take advantage of it. While much of the computation in the multi...
154
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...