972 search results - page 161 / 195 » Intersection types and computational effects |
CLUSTER
2008
IEEE
2008
IEEE
A trace-driven emulation framework to predict scalability of large clusters in presence of OS Jitter
14 years 3 months ago
—Various studies have pointed out the debilitating effects of OS Jitter on the performance of parallel applications on large clusters such as the ASCI Purple and the Mare Nostrum...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
UIST
1995
ACM
14 years 11 days ago
1995
ACM
This paper exploresthe useof visualoperatorsfor solidsmodeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these op...
DAC
2010
ACM
14 years 4 days ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
NIPS
2003
13 years 10 months ago
2003
Recent work has examined the estimation of models of stimulus-driven neural activity in which some linear filtering process is followed by a nonlinear, probabilistic spiking stag...