Sciweavers

8623 search results - page 95 / 1725
» Software engineering for secure systems
Sort
View
103
Voted
EUROSYS
2007
ACM
15 years 6 months ago
JIT instrumentation: a novel approach to dynamically instrument operating systems
Marek Olszewski, Keir Mierle, Adam Czajkowski, Ang...
99
Voted
ICFEM
2007
Springer
15 years 6 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
95
Voted
ARCS
2004
Springer
15 years 6 months ago
Fault Tolerance in a DSM Cluster Operating System
Michael Schöttner, Stefan Frenz, Ralph Gö...
105
Voted
EMSOFT
2004
Springer
15 years 6 months ago
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems
Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Pe...
73
Voted
EMSOFT
2006
Springer
15 years 6 months ago
Energy-efficient dynamic memory allocators at the middleware level of embedded systems
Stylianos Mamagkakis, David Atienza, Christophe Po...