598 search results - page 45 / 120 » Generic Trace Theory |
121
click to vote
JLP
2006
15 years 3 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
123
click to vote
JMLR
2006
15 years 3 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
139
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
149
Voted
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
137
click to vote
MAGS
2008
15 years 3 months ago
2008
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...