Sciweavers

4299 search results - page 370 / 860
» Concurrent Test Generation
Sort
View
SOSP
2007
ACM
16 years 1 months ago
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
Ben Vandiver, Hari Balakrishnan, Barbara Liskov, S...
DNA
2009
Springer
158views Bioinformatics» more  DNA 2009»
15 years 11 months ago
Design of a Biomolecular Device That Executes Process Algebra
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
Urmi Majumder, John H. Reif
147
Voted
ECMDAFA
2005
Springer
130views Hardware» more  ECMDAFA 2005»
15 years 10 months ago
Control Flow Analysis of UML 2.0 Sequence Diagrams
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
Vahid Garousi, Lionel C. Briand, Yvan Labiche
129
Voted
IV
2000
IEEE
112views Visualization» more  IV 2000»
15 years 8 months ago
Sonification of Remote Sensing Data: Initial Experiment
We are generating music from a particular view of a multi-dimensional geographic information system (GIS) data set to alert a viewer to the existence of hidden clusters of data po...
Frances L. Van Scoy
HIS
2004
15 years 6 months ago
Hybrid Learning Scheme for Data Mining Applications
Classification of large datasets is a challenging task in Data Mining. In the current work, we propose a novel method that compresses the data and classifies the test data directl...
T. Ravindra Babu, M. Narasimha Murty, Vijay K. Agr...