7557 search results - page 183 / 1512 » Modeling Timed Concurrent Systems |
173
click to vote
FDL
2006
IEEE
16 years 14 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
162
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...
177
click to vote
FUIN
2010
15 years 3 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
144
click to vote
DEXAW
2008
IEEE
16 years 27 days ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
188
click to vote
CACM
2011
15 years 1 months ago
2011
Software Transactional Memory (STM) promises to simplify concurrent programming without requiring specific hardware support. Yet, STM’s credibility lies on the extent to which ...