7694 search results - page 186 / 1539 » An Implementation of an Applicative File System |
160
Voted
ASE
2004
15 years 4 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
136
Voted
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Traditional database security mechanisms are very limited in defending successful data attacks. Authorized but malicious transactions can make a database useless by impairing its ...
130
Voted
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Low Power is an extremely important issue for future mobile radio systems. Channel decoders are essential building blocks of base-band signal processing units in mobile terminal ar...
140
click to vote
HPDC
1999
IEEE
15 years 9 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
149
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The IBM Cyclops-64 (C64) chip employs a multithreaded architecture that integrates a large number of hardware thread units on a single chip. A cellular supercomputer is being deve...