3871 search results - page 186 / 775 » A System Architecture for Distributed Control Loop Applicati... |
155
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
186
click to vote
ASAP
2008
IEEE
16 years 27 days ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
150
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
170
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
168
click to vote
3DIC
2009
IEEE
16 years 1 months ago
2009
IEEE
- This paper describes a new architectural paradigm for fully connected, single-hop system level interconnection networks. The architecture is scalable enough to meet the needs of ...