2036 search results - page 271 / 408 » A generic type-and-effect system |
181
Voted
Lecture Notes
Driven by recent innovations in Field-Programmable Gate Arrays (FPGAs), reconfigurable computing offers unique ways to accelerate key algorithms. FPGAs offer a programmable logic f...
61
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Applications supporting navigation in large networks are used every days by millions of people. They include road map navigators, ight route visualization systems, and network vis...
169
click to vote
SIGMOD
2006
ACM
16 years 28 days ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
109
Voted
ICSE
2004
IEEE-ACM
16 years 26 days ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
110
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...