1884 search results - page 212 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
103
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
110
click to vote
QOSA
2010
Springer
15 years 5 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...
107
click to vote
LCPC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper, we describe transformation recipes, which provide a high-level interface to the code transformation and code generation capability of a compiler. These rec...
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...
106
click to vote
SAGA
2001
Springer
15 years 6 months ago
2001
Springer
We study the combinatorial optimization task of choosing the smoothest map from a given family of maps, which is motivated from motor control unit calibration. The problem is of a ...