Sciweavers

1685 search results - page 99 / 337
» Commonality and Variability in Software Engineering
Sort
View
128
Voted
CCE
2008
15 years 1 months ago
Large scale optimization strategies for zone configuration of simulated moving beds
Simulated Moving Bed (SMB) processes are widely used in sugar, petrochemical, and pharmaceutical industries. However, systematic optimization of SMB, especially finding the optima...
Yoshiaki Kawajiri, Lorenz T. Biegler
EMSOFT
2010
Springer
15 years 1 months ago
Modeling buffers with data refresh semantics in automotive architectures
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...
Linh Thi Xuan Phan, Reinhard Schneider, Samarjit C...
WCRE
2010
IEEE
15 years 1 months ago
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...
Hassen Grati, Houari A. Sahraoui, Pierre Poulin
COMSWARE
2006
IEEE
15 years 9 months ago
Comparing lexical analysis tools for buffer overflow detection in network software
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
Davide Pozza, Riccardo Sisto, Luca Durante, Adrian...
CGO
2008
IEEE
15 years 9 months ago
Fast liveness checking for ssa-form programs
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
Benoit Boissinot, Sebastian Hack, Daniel Grund, Be...