3911 search results - page 752 / 783 » Using Operational Architecture to Model Embedded Software |
IMC
2010
ACM
13 years 7 months ago
2010
ACM
Operators and researchers want accurate router-level views of the Internet for purposes including troubleshooting and modeling. However, tools such as traceroute return IP address...
IISWC
2009
IEEE
14 years 4 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
DFG
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
ASPLOS
2000
ACM
14 years 2 months ago
2000
ACM
One of the major challenges of post-PC computing is the need to reduce energy consumption, thereby extending the lifetime of the batteries that power these mobile devices. Memory ...
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...