3395 search results - page 365 / 679 » Designs, Disputes and Strategies |
195
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
138
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
203
click to vote
HIPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper formulates the job allocation problem in distributed systems with bandwidth-constrained nodes. The bandwidth limitations of the nodes play an important role in...
144
click to vote
ICESS
2005
Springer
16 years 8 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...
173
click to vote
ICIC
2005
Springer
16 years 7 days ago
2005
Springer
Firstly, a method is introduced which uses Volterra series deploying technique to construct a nonlinear model based on OFS model. Then an improved novel incremental mode multiple s...