Sciweavers

7009 search results - page 417 / 1402
» Patterns in Complex Systems Modeling
Sort
View
SC
2003
ACM
16 years 3 days ago
BCS-MPI: A New Approach in the System Software Design for Large-Scale Parallel Computers
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
Juan Fernández, Eitan Frachtenberg, Fabrizi...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Tool support for the navigation in graphical models
Graphical models are omnipresent in the software engineering field, but most current graphical modeling languages do not scale with the increasing size and complexity of today...
Tobias Reinhard, Silvio Meier, Reinhard Stoiber, C...
ICC
2008
IEEE
138views Communications» more  ICC 2008»
16 years 1 months ago
Designing File Replication Schemes for Peer-to-Peer File Sharing Systems
—Peer-to-peer (P2P) file sharing systems are becoming increasingly popular due to their flexibility and scalability. We propose a new model to design file replication schemes ...
Jian Ni, Jie Lin, S. J. Harrington, Naveen Sharma
IISWC
2006
IEEE
16 years 26 days ago
Constructing a Non-Linear Model with Neural Networks for Workload Characterization
Workload characterization involves the understanding of the relationship between workload configurations and performance characteristics. To better assess the complexity of worklo...
Richard M. Yoo, Han Lee, Kingsum Chow, Hsien-Hsin ...
LFCS
2007
Springer
16 years 1 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden