6197 search results - page 1035 / 1240 » Sandbridge Software Tools |
180
click to vote
ASM
2005
ASM
16 years 3 days ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
200
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
157
click to vote
GPCE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
141
click to vote
ICESS
2005
Springer
16 years 2 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...
148
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...