4299 search results - page 133 / 860 » Concurrent Test Generation |
130
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
130
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
153
click to vote
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
117
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
130
Voted
ISMIR
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we examine the retrieval performance of adjacent and concurrent n-grams generated from polyphonic music data. We deploy a method to index polyphonic music using a wo...