851 search results - page 7 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
COST
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents results on the selection of application scenarios and persona design for sociolect and dialect speech synthesis. These results are derived from a listening expe...
BMCBI
2007
13 years 7 months ago
2007
Background: G Protein-Coupled Receptors (GPCRs) are a large and diverse family of membrane proteins whose members participate in the regulation of most cellular and physiological ...
ICCAD
1994
IEEE
13 years 11 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...