7557 search results - page 31 / 1512 » Modeling Timed Concurrent Systems |
134
click to vote
EDBT
2011
ACM
14 years 4 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
126
click to vote
ENTCS
2010
14 years 10 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
223
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
124
click to vote
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
FM
2008
Springer
15 years 2 months ago
2008
Springer
Modal