742 search results - page 60 / 149 » Set-based Concurrent Engineering |
147
click to vote
ESEC
1999
Springer
15 years 2 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
ICSE
1998
IEEE-ACM
15 years 2 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
102
click to vote
AMAST
1991
Springer
15 years 1 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
AUTONOMICS
2008
ACM
14 years 11 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
ICCAD
1993
IEEE
1993
IEEE
Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors
15 years 1 months ago
— One major problem in pipeline synthesis is the detection and resolution of pipeline hazards. In this paper we present a new solution to the problem in the domain of pipelined a...