366 search results - page 19 / 74 » Machine Function Based Control Code Algebras |
SBCCI
2004
ACM
14 years 28 days ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
SIGOPSE
1998
ACM
13 years 11 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
TSMC
2002
13 years 7 months ago
2002
Existing modeling frameworks for manufacturing system control can be classified into hierarchical, heterarchical, and hybrid control frameworks. The main drawbacks of existing fram...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
ICCD
1995
IEEE
13 years 11 months ago
1995
IEEE
We describe thedesign of a high performance asynchronous SCSI Small Computer Systems Interface controller data path and the associated control circuits. The data path is an asyn...