149 search results - page 8 / 30 » State Space Reduction for Process Algebra Specifications |
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
104
click to vote
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
14 years 10 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
ASE
2004
14 years 9 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...