36 search results - page 4 / 8 » A Petri Net Based Software Architecture for UAV Simulation |
SIGSAND
2008
13 years 8 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
VRML
2000
ACM
13 years 11 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
APN
2006
Springer
13 years 11 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
DAC
1998
ACM
14 years 8 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...