9325 search results - page 386 / 1865 » The decentralized implementability problem |
122
click to vote
IPPS
1996
IEEE
15 years 9 months ago
1996
IEEE
In this paper, we present a parallel algorithm for the minimization of deterministic finite state automata (DFA's) and discuss its implementation on a connection machine CM-5...
165
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
147
click to vote
SIGCOMM
1996
ACM
15 years 9 months ago
1996
ACM
Conventional implementations of communication middleware (such as CORBA and traditional RPC toolkits) incur considerable overhead when used for performance-sensitive applications ...
177
click to vote
ASAP
2004
IEEE
15 years 8 months ago
2004
IEEE
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
147
click to vote
ISQED
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...