7393 search results - page 1256 / 1479 » Synthesis-for-testability using transformations |
117
Voted
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
This paper is motivated by a need of practical asynchronous network systems, i.e., a wait-free distributed mutual exclusion algorithm (WDME). The WDME algorithm is very appealing w...
114
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
125
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
FPGA devices exhibit manufacturing variability. Device ratings and Timing margins are typically used in order to cope with inter-device and intra-device variability respectively. ...
130
Voted
FSE
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present new and more accurate estimates of the biases of the linear approximation of the FSM of the stream cipher SNOW 2.0. Based on improved bias estimates we als...
242
Voted
3DIM
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we present an efficient and general approach to computing and integrating 3D distance fields directly from multiple range images. We compute normal and confidence va...