1681 search results - page 110 / 337 » Formal Design of Distributed Control Systems with Lustre |
FMCO
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
FDL
2004
IEEE
14 years 2 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper describes a system software design for multiple instruction stream control in a massively parallel associative computing environment. The purpose of providing multiple ...
SACMAT
2009
ACM
14 years 5 months ago
2009
ACM
Securing access to files is an important and growing concern in corporate environments. Employees are increasingly accessing files from untrusted devices, including personal hom...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...