3130 search results - page 246 / 626 » Design Correctness of Digital Systems |
124
click to vote
CNSR
2008
IEEE
15 years 11 months ago
2008
IEEE
Network administration is a task that requires experience in relating symptoms of network problems with possible causes and corrective actions. We describe the design of a system ...
138
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...
244
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
134
Voted
WDAG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
142
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...