963 search results - page 118 / 193 » $M$-Solid Varieties of Languages |
ESOP
2006
Springer
14 years 14 days ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
ESORICS
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
IFIP
2000
Springer
14 years 12 days ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
JAVA
2000
Springer
14 years 11 days ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...
ASPLOS
1991
ACM
14 years 10 days ago
1991
ACM
Multiprocessor memory reference traces provide a wealth of information on the behavior of parallel programs. We have used this information to explore the relationship between kern...