11397 search results - page 2239 / 2280 » A Relational Abstraction for Functions |
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
When admitting electronic media as a means for citizens to approach public authorities – i.e., when advancing official proceedings towards e-Government – security is an indisp...
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract—In this paper we consider the downlink power allocation problem for multi-class CDMA wireless networks. We use a utility based power allocation framework to treat multi-...
EUROCRYPT
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
MPC
2010
Springer
15 years 2 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...