15974 search results - page 2835 / 3195 » Object-Oriented Software Engineering |
157
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
137
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
141
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study resource management in distributed systems. Incorrect handling of resources may lead to deadlocks, missed deadlines, priority inversions, and other forms of inco...
147
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
142
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...