Sciweavers

3256 search results - page 239 / 652
» Mixin-Based Programming in C
Sort
View
IWIA
2005
IEEE
15 years 9 months ago
A Methodology for Designing Countermeasures against Current and Future Code Injection Attacks
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
Yves Younan, Wouter Joosen, Frank Piessens
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 7 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck
144
Voted
NJC
2000
169views more  NJC 2000»
15 years 3 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
136
Voted
CN
1999
100views more  CN 1999»
15 years 3 months ago
Testing protocols modeled as FSMs with timing parameters
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...
M. Ümit Uyar, Mariusz A. Fecko, Adarshpal S. ...
C3S2E
2010
ACM
15 years 2 months ago
McLab: an extensible compiler toolkit for MATLAB and related languages
MATLAB is a popular language for scientific computation. Effectively compiling MATLAB presents many challenges due to the dynamic nature of the language. We present McLab, an ext...
Andrew Casey, Jun Li, Jesse Doherty, Maxime Cheval...