695 search results - page 103 / 139 » Dynamic Software Architectures Verification using DynAlloy |
170
Voted
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
144
Voted
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
132
click to vote
HIPEAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Exposing more instruction-level parallelism in out-of-order superscalar processors requires increasing the number of dynamic in-flight instructions. However, large instru...
159
Voted
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
149
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...