Sciweavers

1127 search results - page 111 / 226
» The XIS Generative Programming Techniques
Sort
View
AOSD
2012
ACM
13 years 7 months ago
Reusing non-functional concerns across languages
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
Myoungkyu Song, Eli Tilevich
FASE
2009
Springer
15 years 6 months ago
A Formal Connection between Security Automata and JML Annotations
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
Marieke Huisman, Alejandro Tamalet
INTERSENSE
2006
ACM
15 years 5 months ago
Issues in designing a compilation framework for macroprogrammed networked sensor systems
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
Animesh Pathak, Viktor K. Prasanna
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 4 months ago
The Implementation of iData
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
Rinus Plasmeijer, Peter Achten
IWMM
1998
Springer
153views Hardware» more  IWMM 1998»
15 years 3 months ago
Compiler Support to Customize the Mark and Sweep Algorithm
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying c...
Dominique Colnet, Philippe Coucaud, Olivier Zendra