15885 search results - page 2614 / 3177 » The Modest Software Engineer |
153
click to vote
ICESS
2005
Springer
16 years 16 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...
225
click to vote
ICESS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. In ad hoc sensor networks, sensor nodes have very limited energy resources, thus energy consuming operations such as data collection, transmission and reception must be k...
178
click to vote
ICESS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
178
click to vote
ICFEM
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
195
click to vote
ICFEM
2005
Springer
16 years 16 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...