11397 search results - page 2042 / 2280 » A Relational Abstraction for Functions |
207
click to vote
EUROSYS
2008
ACM
16 years 4 months ago
2008
ACM
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server plat...
137
click to vote
ALT
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. This work extends studies of Angluin, Lange and Zeugmann on the dependence of learning on the hypotheses space chosen for the class. In subsequent investigations, uniform...
175
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Abstract— High-level synthesis (HLS) of memory-intensive applications has featured several innovations in terms of enhancements made to the basic memory organization and data lay...
218
click to vote
SOSP
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...
184
click to vote
ICDCN
2010
Springer
16 years 2 months ago
2010
Springer
Abstract— Motivated by the widespread proliferation of wireless networks employing directional antennas, we study the problem of provisioning bandwidth in such networks. Given a ...