Sciweavers

7766 search results - page 36 / 1554
» Testing Nondeterminate Systems
Sort
View
99
Voted
PTS
2003
115views Hardware» more  PTS 2003»
15 years 4 months ago
Realizing Distributed TTCN-3 Test Systems with TCI
Distributed test setups for efficient load, performance, scalability, interworking, and end-to-end tests are gaining importance for the assessment of distributed communicating syst...
Ina Schieferdecker, Theofanis Vassiliou-Gioles
109
Voted
INFOCOM
2008
IEEE
15 years 9 months ago
Peacock Hashing: Deterministic and Updatable Hashing for High Performance Networking
—Hash tables are extensively used in networking to implement data-structures that associate a set of keys to a set of values, as they provide O(1), query, insert and delete opera...
Sailesh Kumar, Jonathan S. Turner, Patrick Crowley
181
Voted
FMSB
2008
199views Formal Methods» more  FMSB 2008»
15 years 4 months ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...
120
Voted
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
15 years 9 months ago
Reconciling Manual and Automated Testing: The AutoTest Experience
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mar...
133
Voted
ATS
2005
IEEE
91views Hardware» more  ATS 2005»
15 years 8 months ago
SOC Test Scheduling with Test Set Sharing and Broadcasting
11 Due to the increasing test data volume needed to test corebased System-on-Chip, several test scheduling techniques minimizing the test application time have been proposed. In co...
Anders Larsson, Erik Larsson, Petru Eles, Zebo Pen...