28821 search results - page 417 / 5765 » Distributed and parallel systems |
219
Voted
CONPAR
1994
15 years 9 months ago
1994
The Rewrite Rule Machine (RRM) is a massively parallel MIMD/SIMD computer designed with the explicit purpose of supporting veryhigh-level parallel programming with rewrite rules. T...
175
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
133
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
146
Voted
ICPADS
2008
IEEE
15 years 11 months ago
2008
IEEE
The Intel Cup Undergraduate Embedded System Electronic Design Contest is an embedded system design invitational contest in China. This contest is held every two years since 2002. ...
149
Voted
CW
2005
IEEE
15 years 10 months ago
2005
IEEE
Data on the file system in mobile internetworked working environments are exposed data to a number of threats ranging from physical theft of storage devices to industrial espiona...