5962 search results - page 997 / 1193 » Working with Patterns and Code |
147
click to vote
JOT
2010
15 years 2 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
138
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
162
click to vote
SAMOS
2010
Springer
15 years 2 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
129
Voted
SIGOPS
2010
15 years 2 months ago
2010
The file system is one of the most critical components of the operating system. Almost all applications running in the operating system require file systems to be available for ...
124
Voted
STTT
2010
15 years 2 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...