488 search results - page 65 / 98 » On the Formal Generation of Process Redesigns |
133
Voted
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
115
click to vote
ISOLA
2010
Springer
15 years 8 days ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
132
Voted
ISOLA
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
87
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
— This paper describes a cooperative method for relative localization of mobile robot teams; that is, it describes a method whereby every robot in the team can estimate the pose ...
123
click to vote
ISPD
1997
ACM
15 years 6 months ago
1997
ACM
- This paper reports on a highly effective methodology to construct complex high performance microprocessors. Critical aspects of the methodology include an integrated database for...