Sciweavers

4670 search results - page 32 / 934
» Testing that distributions are close
Sort
View
WSC
2007
14 years 11 hour ago
Distributed simulation for interoperability testing along the supply chain
The need for interoperability of information systems among supply chain partners has been recognized. A number of standards have been or are being developed to ensure interoperabi...
Sanjay Jain, Frank Riddick, Andreas Craens, Deogra...
PTS
1998
81views Hardware» more  PTS 1998»
13 years 11 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
DC
2008
13 years 9 months ago
Checking sequences for distributed test architectures
This study addresses the construction of a preset checking sequence that will not pose controllability (synchronization) and observability (undetectable output shift) problems whe...
Robert M. Hierons, Hasan Ural
ICTAC
2010
Springer
13 years 8 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
IPM
2006
88views more  IPM 2006»
13 years 9 months ago
Testing the cluster hypothesis in distributed information retrieval
How to merge and organise query results retrieved from different resources is one of the key issues in distributed information retrieval. Some previous research and experiments su...
Fabio Crestani, Shengli Wu