1105 search results - page 15 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
SPIN
1999
Springer
13 years 11 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
WOSP
2004
ACM
14 years 4 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
IFIP
1993
Springer
13 years 10 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
LCN
2003
IEEE
14 years 3 hour ago
2003
IEEE
- With the current wide deployment of Gigabit Ethernet technology in the backbone and workgroup switches, the network performance bottleneck has shifted for the first time in nearl...
CODES
1996
IEEE
13 years 11 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...