Sciweavers

1358 search results - page 91 / 272
» Communication Analysis for System-On-Chip Design
Sort
View
VALUETOOLS
2006
ACM
236views Hardware» more  VALUETOOLS 2006»
14 years 4 months ago
The DISCO network calculator: a toolbox for worst case analysis
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
Jens B. Schmitt, Frank A. Zdarsky
TGC
2005
Springer
14 years 3 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
IWDC
2004
Springer
139views Communications» more  IWDC 2004»
14 years 3 months ago
Statistical Analysis of a P2P Query Graph Based on Degrees and Their Time-Evolution
Abstract. Despite their crucial impact on the performances of p2p systems, very few is known on peers behaviors in such networks. We propose here a study of these behaviors in a ru...
Jean-Loup Guillaume, Matthieu Latapy, Stevens Le-B...
ISCOPE
1999
Springer
14 years 2 months ago
SIFFEA: Scalable Integrated Framework for Finite Element Analysis
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
Xiangmin Jiao, Xiang-Yang Li, Xiaosong Ma
SIGSOFT
1998
ACM
14 years 2 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan