Sciweavers

2844 search results - page 25 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
WSC
1997
15 years 1 months ago
A Demonstration of the Integrated Supportability Analysis and Cost System (ISACS+)
This paper describes the Integrated Supportability Analysis and Cost System (ISACS+) and the features which will be demonstrated. ISACS+ is a distributed, client/server system for...
Helena L. Weaks, James D. Barrett
IJAR
2006
61views more  IJAR 2006»
14 years 11 months ago
The interpretation of fuzzy integrals and their application to fuzzy systems
Fuzzy integrals, in general, and Sugeno integrals, in particular, are well known aggregation operators. They can be used in a great variety of decision making applications. Nevert...
Vicenç Torra, Yasuo Narukawa
ESOP
2009
Springer
15 years 6 months ago
Minimization Algorithm for Symbolic Bisimilarity
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
Filippo Bonchi, Ugo Montanari
ASPDAC
2011
ACM
217views Hardware» more  ASPDAC 2011»
14 years 3 months ago
Realization and performance comparison of sequential and weak memory consistency models in network-on-chip based multi-core syst
This paper studies realization and performance comparison of the sequential and weak consistency models in the network-on-chip (NoC) based distributed shared memory (DSM) multi-cor...
Abdul Naeem, Xiaowen Chen, Zhonghai Lu, Axel Jants...
VOSS
2004
Springer
125views Mathematics» more  VOSS 2004»
15 years 5 months ago
Probabilistic Automata: System Types, Parallel Composition and Comparison
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
Ana Sokolova, Erik P. de Vink