1768 search results - page 279 / 354 » A Logic for Algebraic Effects |
152
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
161
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
152
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
169
click to vote
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Coverage problem is a fundamental issue in wireless ad hoc and sensor networks. Previous techniques for coverage scheduling often require accurate location information o...
145
click to vote
ESORICS
2008
Springer
15 years 7 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...