1799 search results - page 149 / 360 » The Logic of Correctness in Software Engineering |
171
click to vote
ISSTA
2006
ACM
16 years 28 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...
175
Voted
ICFEM
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
148
Voted
ICESS
2005
Springer
16 years 15 days 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...
224
click to vote
EUROMICRO
2002
IEEE
15 years 12 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...
173
Voted
VLSI
2007
Springer
16 years 1 months 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...