Sciweavers

5159 search results - page 335 / 1032
» Structural Testing of Executables
Sort
View
IEEEINTERACT
2002
IEEE
16 years 6 days ago
On the Predictability of Program Behavior Using Different Input Data Sets
Smaller input data sets such as the test and the train input sets are commonly used in simulation to estimate the impact of architecture/micro-architecture features on the perform...
Wei-Chung Hsu, Howard Chen, Pen-Chung Yew, Dong-yu...
ICDE
2010
IEEE
209views Database» more  ICDE 2010»
16 years 18 days ago
Overlapping Community Search for social networks
— Finding decompositions of a graph into a family of clusters is crucial to understanding its underlying structure. While most existing approaches focus on partitioning the nodes...
Arnau Padrol-Sureda, Guillem Perarnau-Llobet, Juli...
VLDB
1990
ACM
166views Database» more  VLDB 1990»
15 years 11 months ago
The Tree Quorum Protocol: An Efficient Approach for Managing Replicated Data
In this paper, we present an efficient algorithm for managing replicated data. We impose a logical tree structure on the set of copies of an object. In a failurefree environment t...
Divyakant Agrawal, Amr El Abbadi
ECAI
2006
Springer
15 years 11 months ago
Learning by Automatic Option Discovery from Conditionally Terminating Sequences
Abstract. This paper proposes a novel approach to discover options in the form of conditionally terminating sequences, and shows how they can be integrated into reinforcement learn...
Sertan Girgin, Faruk Polat, Reda Alhajj
COMSIS
2007
166views more  COMSIS 2007»
15 years 7 months ago
Prototype environment for controller programming in the IEC 61131-3 ST language
A prototype compiler of the ST language (Structured Text), its operation and internal structure is presented. The compiler is a principal part of CPDev engineering environment for ...
Dariusz Rzonca, Jan Sadolewski, Bartosz Trybus