156 search results - page 9 / 32 » Logic for Computational Effects: Work in Progress |
HPCA
2005
IEEE
15 years 10 months ago
2005
IEEE
The use of large instruction windows coupled with aggressive out-oforder and prefetching capabilities has provided significant improvements in processor performance. In this paper...
NORDICHI
2004
ACM
15 years 3 months ago
2004
ACM
Systems development is replete with projects that represent substantial resource investments but result in systems that fail to meet users’ needs. Evidence-based development is ...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
164
Voted
POPL
2006
ACM
15 years 10 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
AINA
2008
IEEE
15 years 4 months ago
2008
IEEE
Several systems for disaster damage mitigation have been studied based on various perspectives. Those previous works suggest it is not easy to get an effective method to comprehen...