1799 search results - page 149 / 360 » The Logic of Correctness in Software Engineering |
154
click to vote
ISSTA
2006
ACM
16 years 12 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
162
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
139
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
208
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
156
click to vote
VLSI
2007
Springer
16 years 16 days ago
2007
Springer
— In the future, high performance computing systems may consist of multiple multicore processors and reconfigurable logic coprocessors. Industry trends indicate that such coproc...