6308 search results - page 145 / 1262 » Modeling Urgency in Timed Systems |
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
79
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
105
click to vote
RTCSA
2003
IEEE
15 years 3 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
DSRT
2003
IEEE
15 years 3 months ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
COORDINATION
2010
Springer
15 years 1 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...