11436 search results - page 1948 / 2288 » Modeling Real Reasoning |
129
click to vote
VLSID
2008
IEEE
16 years 5 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
133
click to vote
HPCA
2006
IEEE
16 years 5 months ago
2006
IEEE
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
135
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
We report results on the performance of the combination of soft keyboards and marking menus. A model of expert user performance indicated an 11 - 37% (depending on the keyboard la...
136
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
133
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...