350 search results - page 45 / 70 » Petri Net Analysis Using Invariant Generation |
115
click to vote
HPDC
1998
IEEE
15 years 6 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
123
click to vote
DAC
1998
ACM
16 years 3 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...
116
click to vote
TCAD
2008
15 years 2 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
152
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
133
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...