7557 search results - page 711 / 1512 » Modeling Timed Concurrent Systems |
195
Voted
IJON
2010
15 years 5 months ago
2010
Originally devoted to specific applications such as biology, medicine and demography, duration models are now widely used in economy, finance or reliability. Recent works in var...
186
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
212
click to vote
TFS
2008
15 years 7 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
191
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
228
click to vote
ISSS
2002
IEEE
16 years 6 days ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...