Sciweavers

2145 search results - page 73 / 429
» Architectural Specifications in CASL
Sort
View
CSMR
1999
IEEE
14 years 1 months ago
Architecture Comprehension Tools for a PBX System
The comprehension of the dynamic and static structure of a system is of main importance for purposes of adding features, bug solving, and for redesign activities. This holds parti...
René L. Krikhaar, Loe M. G. Feijs, Roel de ...
NETWORKING
2008
13 years 10 months ago
An Overlay Architecture for Vehicular Networks
We propose and discuss an overlay architecture relying on a mobile ad hoc network, called Arigatoni on wheels (Ariwheels for short). More specifically, Ariwheels is a virtual netwo...
Luigi Liquori, Diego Borsetti, Claudio Casetti, Ca...
IEEEHPCS
2010
13 years 7 months ago
Scalable instruction set simulator for thousand-core architectures running on GPGPUs
Simulators are still the primary tools for development and performance evaluation of applications running on massively parallel architectures. However, current virtual platforms a...
Shivani Raghav, Martino Ruggiero, David Atienza, C...
SIGSOFT
2004
ACM
14 years 9 months ago
System architecture: the context for scenario-based model synthesis
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
Jeff Kramer, Jeff Magee, Robert Chatley, Sebasti&a...
MIS
2008
Springer
191views Multimedia» more  MIS 2008»
13 years 8 months ago
QoS management and control for an all-IP WiMAX network architecture: Design, implementation and evaluation
The IEEE 802.16 standard provides a specification for a fixed and mobile broadband wireless access system, offering high data rate transmission of multimedia services with differen...
Thomas Michael Bohnert, Marco Castrucci, Nicola Ci...