12032 search results - page 666 / 2407 » Simulation of Manufacturing Systems |
177
click to vote
ECRTS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
176
Voted
ASPDAC
1995
ACM
15 years 11 months ago
1995
ACM
- In this paper, we present a hardware-software cosimulation environment for heterogeneoussystems. To be an efficient system verification environment for the rapid prototyping of h...
193
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— This paper addresses a problem of finding an optimal dynamic quantizer for nonlinear control subject to discretevalued signal constraints. The quantizers to be studied...
191
click to vote
SERP
2007
15 years 9 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
157
Voted
JSAC
2008
15 years 7 months ago
2008
This paper is concerned with the low-cost iterative equalization/detection principles for coded linear systems with cyclic prefixes. Turbo frequency-domain-equalization (FDE) is ap...