1681 search results - page 198 / 337 » Formal Design of Distributed Control Systems with Lustre |
130
click to vote
CLOUDCOM
2010
Springer
14 years 8 months ago
2010
Springer
The Hadoop filesystem is a large scale distributed filesystem used to manage and quickly process extremely large data sets. We want to utilize Hadoop to assist with dataintensive ...
COBUILD
1999
Springer
15 years 2 months ago
1999
Springer
The goal of OWL (Object-Oriented Workplace Laboratory) is to provide an object-oriented and component-based framework that supports the engineering of applications for the design, ...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
ENTCS
2006
14 years 10 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...