2299 search results - page 366 / 460 » Design and Use of Industrial Software Architectures |
191
Voted
IPSN
2011
Springer
14 years 5 months ago
2011
Springer
Buildings are known to be the largest consumers of electricity in the United States, and often times the dominant energy consumer is the HVAC system. Despite this fact, in most bu...
125
click to vote
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
128
Voted
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
124
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
133
click to vote
SCP
2010
15 years 3 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...