Sciweavers

2067 search results - page 223 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
TRIDENTCOM
2008
IEEE
15 years 4 months ago
A 3GPP system architecture evolution virtualized experimentation infrastructure for mobility prototyping
The 3GPP System Architecture Evolution (SAE) is a very attractive environment from the service provisioning perspective, thanks to the variety of access technologies and mobility ...
Miguel Gómez Rodríguez, Fermí...
ISCA
1992
IEEE
123views Hardware» more  ISCA 1992»
15 years 2 months ago
The Impact of Communication Locality on Large-Scale Multiprocessor Performance
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...
Kirk L. Johnson
BIBM
2007
IEEE
144views Bioinformatics» more  BIBM 2007»
15 years 4 months ago
Kinetic Modeling Using BioPAX Ontology
Thousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways...
Oliver Ruebenacker, Ion I. Moraru, James C. Schaff...
CSL
1999
Springer
15 years 2 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
ICSE
2008
IEEE-ACM
15 years 11 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...