469 search results - page 45 / 94 » Putting curry-howard to work |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
CHIMIT
2009
ACM
14 years 2 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
CLUSTER
2008
IEEE
14 years 2 months ago
2008
IEEE
—The increasing performance and decreasing cost of processors and memory are causing system intelligence to move from the CPU to peripherals such as disk drives. Storage system d...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—Integrated circuit (IC) design for a wireless BCI system is put forward in this paper. The system is composed of an electrode, a stimulator, antennas, and an integrated circuit ...
WISE
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. Most approaches to information filtering taken so far have the underlying hypothesis of potentially delivering notifications from every information producer to subscrib...