Sciweavers

1329 search results - page 1 / 266
» Analysis of Dynamic Communicating Systems by Hierarchical Ab...
Sort
View
112
Voted
SAS
2007
Springer
15 years 11 months ago
Static Analysis of Dynamic Communication Systems by Partner Abstraction
Jörg Bauer, Reinhard Wilhelm
FGCS
2007
90views more  FGCS 2007»
15 years 4 months ago
Dual-Level Key Management for secure grid communication in dynamic and hierarchical groups
Grid computing is a newly developed technology for complex systems with large-scale resource sharing and multi-institutional collaboration. The prominent feature of grid computing...
Xukai Zou, Yuan-Shun Dai, Xiang Ran
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
16 years 1 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
ICCAD
2002
IEEE
141views Hardware» more  ICCAD 2002»
16 years 1 months ago
A hierarchical modeling framework for on-chip communication architectures
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
Xinping Zhu, Sharad Malik