4386 search results - page 649 / 878 » A Tamper-Resistant Programming Language System |
129
Voted
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
117
Voted
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
106
Voted
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
146
Voted
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
122
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...