1681 search results - page 241 / 337 » Formal Design of Distributed Control Systems with Lustre |
RTSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
PPOPP
2010
ACM
15 years 7 months ago
2010
ACM
Transactional memory promises to make parallel programming easier than with fine-grained locking, while performing just as well. This performance claim is not always borne out bec...
AIME
2009
Springer
15 years 4 months ago
2009
Springer
Computer vision is presented and discussed under two complementary views. The positivist view provides a formal background under which vision is approached as a problem-solving tas...
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
FMLDO
1999
Springer
15 years 2 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...