Sciweavers

4985 search results - page 134 / 997
» Observation of String-Rewriting Systems
Sort
View
IJHPCA
2006
73views more  IJHPCA 2006»
14 years 10 months ago
The Tau Parallel Performance System
The ability of performance technology to keep pace with the growing complexity of parallel and distributed systems depends on robust performance frameworks that can at once provid...
Sameer Shende, Allen D. Malony
KES
2008
Springer
14 years 9 months ago
A Procedure Ontology for Advanced Diagnosis of Process Systems
An ontology for representing operation, safety and control procedures is proposed in this paper that supports diagnosis based on following these procedures and combining observed m...
Katalin M. Hangos, Erzsébet Németh, ...
ISCAS
2007
IEEE
104views Hardware» more  ISCAS 2007»
15 years 4 months ago
Noncoherent Correlation-Based Communication Systems Choosing Different Chaotic Maps
— This paper proposes a new noncoherent detection system improved based on the differential chaos shift keying (DCSK) and the correlation delay shift keying (CDSK). In this schem...
Shintaro Arai, Yoshifumi Nishio
CHARME
2005
Springer
133views Hardware» more  CHARME 2005»
15 years 3 months ago
Symbolic Partial Order Reduction for Rule Based Transition Systems
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
Ritwik Bhattacharya, Steven M. German, Ganesh Gopa...
MDM
2001
Springer
138views Communications» more  MDM 2001»
15 years 2 months ago
Operating System and Algorithmic Techniques for Energy Scalable Wireless Sensor Networks
An system-level power management technique for massively distributed wireless microsensor networks is proposed. A power aware sensor node model is introduced which enables the embe...
Amit Sinha, Anantha Chandrakasan