74 search results - page 5 / 15 » Architecture for modeling, simulation, and execution of PLC ... |
ISTA
2004
13 years 9 months ago
2004
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
PADS
2006
ACM
14 years 1 months ago
2006
ACM
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
WSC
2008
13 years 9 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
EUROMICRO
1999
IEEE
13 years 12 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...