2637 search results - page 247 / 528 » Tool Supported Specification and Simulation of Distributed S... |
205
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
192
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— Multi-user multiple-input multiple-output (MIMO) systems have been emerging and attracting considerable attention recently for its potential to substantially improve system cap...
144
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
181
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
137
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Large-scale distributed systems provide the backbone for numerous distributed applications and online services. These systems span over a multitude of computing nodes located at d...