Sciweavers

3844 search results - page 347 / 769
» Modular interpreted systems
Sort
View
PCI
2001
Springer
15 years 9 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
126
Voted
ARVLSI
1999
IEEE
101views VLSI» more  ARVLSI 1999»
15 years 9 months ago
Multi-Chip Neuromorphic Motion Processing
We describe a multi-chip CMOS VLSI visual motion processing system which combines analog circuitry with an asynchronous digital interchip communications protocol to allow more com...
Charles M. Higgins, Christof Koch
RTSS
1989
IEEE
15 years 9 months ago
A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions
A new fault tolerant architecture that provides tolerance to a broad scope of hardware, software, and communications faults is being developed. This architecture relies on widely ...
Myron Hecht, J. Agron, S. Hochhauser
BIRTHDAY
2006
Springer
15 years 8 months ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski
FCT
1995
Springer
15 years 8 months ago
On the Synchronization of Semi-Traces
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...
Klaus Reinhardt