7694 search results - page 561 / 1539 » An Implementation of an Applicative File System |
195
Voted
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
239
click to vote
CODASPY
2012
14 years 2 months ago
2012
Usage control is concerned with how data is used after access to it has been granted. As such, it is particularly relevant to end users who own the data. System implementations of...
175
click to vote
FPGA
2010
ACM
16 years 3 months ago
2010
ACM
Electronic systems increasingly suffer from component variation, thermal hotspots, uneven wearout, and other subtle physical phenomena. Systems based on FPGAs have unique opportun...
191
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
182
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
Grid applications need efficient access to information about available resources and services. Typically, this access is provided by information services that are often organized ...