1136 search results - page 120 / 228 » Finding Small Holes |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
A detailed study of Java programmers' text editing found that the full flexibility of unstructured text was not utilized for the vast majority of programmers' character-...
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
HPCA
2008
IEEE
14 years 9 months ago
2008
IEEE
A microprocessor's performance is fundamentally limited by the rate at which it can resolve branch mispredictions. Control independence (CI) architectures look for useful con...
HPCA
2006
IEEE
14 years 9 months ago
2006
IEEE
Building processors with large instruction windows has been proposed as a mechanism for overcoming the memory wall, but finding a feasible and implementable design has been an elu...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
We describe a study that investigated how a shared interactive tabletop (DiamondTouch) can be designed to provide new opportunities for supporting collaborative decision-making. S...