2303 search results - page 265 / 461 » Interior-Point Methods in Parallel Computation |
132
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper explores methods for hardware acceleration of Hidden Markov Model (HMM) decoding for the detection of persons in still images. Our architecture exploits the inherent st...
127
click to vote
APPT
2003
Springer
15 years 9 months ago
2003
Springer
This paper discusses how to building high available storage systems on top of peer-to-peer infrastructure. We first demonstrate that traditional definitions of availability are not...
197
Voted
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
168
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
137
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...