10159 search results - page 1686 / 2032 » System Design Validation Using Formal Models |
187
click to vote
EDCC
2005
Springer
16 years 9 days ago
2005
Springer
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
219
click to vote
PEWASUN
2004
ACM
16 years 6 days ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
191
click to vote
C3S2E
2009
ACM
15 years 10 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
187
click to vote
WSC
1997
15 years 8 months ago
1997
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...
196
click to vote
JPDC
2000
15 years 6 months ago
2000
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually requir...