1994 search results - page 214 / 399 » Limited Software Warranties |
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
ICPP
2007
IEEE
14 years 4 months ago
2007
IEEE
Compute clusters are consuming more power at higher densities than ever before. This results in increased thermal dissipation, the need for powerful cooling systems, and ultimatel...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Identifiers represent an important source of information for programmers understanding and maintaining a system. Self-documenting identifiers reduce the time and effort necessa...
SCAM
2007
IEEE
14 years 4 months ago
2007
IEEE
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
B
2007
Springer
14 years 4 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...