3796 search results - page 280 / 760 » Presentations by Programmers for Programmers |
126
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
123
Voted
ICCD
2006
IEEE
16 years 17 days ago
2006
IEEE
— Microprocessors can have design errors that escape the test and validation process. The cost to rectify these errors after shipping the processors can be very expensive as it m...
127
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose a preprocessing method to improve Side Channel Attacks (SCAs) on Dual-rail with Precharge Logic (DPL) countermeasure family. The strength of our method i...
127
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
123
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
—The aim of this paper is to enable a programmer to easily employ external sensors for flexible robot manipulation. We describe a general approach to determine the relation betwe...