936 search results - page 92 / 188 » The Synthesis Problem of Netcharts |
162
Voted
APCCM
2009
15 years 4 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
112
Voted
AIEDAM
2007
15 years 3 months ago
2007
Achieving the dimensional integrity for a complex structural assembly is a demanding task due to the manufacturing variations of parts and the tolerance relationship between them....
142
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
131
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
134
click to vote
ICCAD
2005
IEEE
16 years 14 days ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...