AbstractFuture programming environments will incorporate a tighter coupling between language runtime systems and the monitoring tools that are used to debug, tune, visualize, and understand them. Many innovations that are developed first in higher level programming language environments will migrate into mainstream languages once their properties are understood and generalized.The Alamo execution monitor architecture was developed to facilitate rapid development of execution monitors, especially visualization tools that are instrumental in understanding complex runtime system interactions in higher level languages. Alamo simplifies the development of such tools by solving the low-level access, control, and intrusion problems inherent in mon...
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current...
Abstract. A formal framework for software development and analysis is presented, which aims at reduc...
Vita.A set of primitive operators is developed for directing the progress of a computer job. These p...
Program execution monitors are used to improve human beings' understanding of program run-time behav...
Program execution monitoring consists of checking whole executions for given properties in order to ...
The analysis of an executing program and the isolation of critical code has been a problem since the...
This paper presents a tool-supported methodological paradigm for object-oriented software develop-me...
The proliferation of high-level programming languages with advanced language features and the need f...
In this paper we present a solution to design and implement a set of high-level standardized human c...
CPU performance is determined by the interaction between available resources, microarchitectural fea...
Abstract: This publication continues a series of papers devoted to the description of the ...
Writing and debugging distributed programs can be difficult. When a program is working, it may be di...
[[abstract]]The authors describe a model of real-time distributed computing systems, making the simp...
The design and implementation of a language-independent, interactive system to facilitate the analys...
Abstract—Embedded system security is often compromised when “trusted ” software is subverted to resu...
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current...
Abstract. A formal framework for software development and analysis is presented, which aims at reduc...
Vita.A set of primitive operators is developed for directing the progress of a computer job. These p...
Program execution monitors are used to improve human beings' understanding of program run-time behav...
Program execution monitoring consists of checking whole executions for given properties in order to ...
The analysis of an executing program and the isolation of critical code has been a problem since the...
This paper presents a tool-supported methodological paradigm for object-oriented software develop-me...
The proliferation of high-level programming languages with advanced language features and the need f...
In this paper we present a solution to design and implement a set of high-level standardized human c...
CPU performance is determined by the interaction between available resources, microarchitectural fea...
Abstract: This publication continues a series of papers devoted to the description of the ...
Writing and debugging distributed programs can be difficult. When a program is working, it may be di...
[[abstract]]The authors describe a model of real-time distributed computing systems, making the simp...
The design and implementation of a language-independent, interactive system to facilitate the analys...
Abstract—Embedded system security is often compromised when “trusted ” software is subverted to resu...
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current...
Abstract. A formal framework for software development and analysis is presented, which aims at reduc...
Vita.A set of primitive operators is developed for directing the progress of a computer job. These p...