7557 search results - page 133 / 1512 » Modeling Timed Concurrent Systems |
129
Voted
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
131
click to vote
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
123
Voted
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
The creation of huge databases coming from both restoration of existing analogue archives and new content is demanding fast and more and more reliable tools for content analysis a...
111
click to vote
HYBRID
1995
Springer
15 years 5 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
148
Voted
ECBS
2011
IEEE
14 years 1 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...