Sciweavers

245 search results - page 10 / 49
» State Complexity of Testing Divisibility
Sort
View
PTS
2007
99views Hardware» more  PTS 2007»
15 years 1 months ago
Testing Input/Output Partial Order Automata
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
Stefan Haar, Claude Jard, Guy-Vincent Jourdan
CORR
2011
Springer
191views Education» more  CORR 2011»
14 years 7 months ago
A Message-Passing Receiver for BICM-OFDM over Unknown Clustered-Sparse Channels
We propose a factor-graph-based approach to joint channel-estimationand-decoding of bit-interleaved coded orthogonal frequency division multiplexing (BICM-OFDM). In contrast to ex...
Philip Schniter
AIPS
2000
15 years 1 months ago
Plan Generation for GUI Testing
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
FASE
2006
Springer
15 years 4 months ago
Regular Inference for State Machines with Parameters
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
Therese Berg, Bengt Jonsson, Harald Raffelt
ACAL
2009
Springer
15 years 7 months ago
Multivesicular Assemblies as Real-World Testbeds for Embryogenic Evolutionary Systems
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...
Maik Hadorn, Peter Eggenberger Hotz