506 search results - page 29 / 102 » Using Aspects and Compilation Techniques to Dynamically Mana... |
147
Voted
MKM
2009
Springer
15 years 10 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
121
Voted
ICPP
1996
IEEE
15 years 8 months ago
1996
IEEE
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...
174
click to vote
SIGMETRICS
1996
ACM
15 years 8 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
168
Voted
EUROSYS
2008
ACM
16 years 26 days ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
125
Voted
IM
1997
15 years 5 months ago
1997
Telecommunications Management Network (TMN) systems use the object-oriented information modelling techniques and communication facilities provided by OSI Systems Management (SM). ...