1701 search results - page 130 / 341 » Bandwidth Management of WiMAX Systems and Performance Modeli... |
102
click to vote
ECOOP
1994
Springer
15 years 2 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
CJ
2004
14 years 9 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...
PODC
2005
ACM
15 years 3 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...