9210 search results - page 1475 / 1842 » Analyzing Real-Time Systems |
149
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
130
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
135
click to vote
ICSE
2009
IEEE-ACM
16 years 6 months ago
2009
IEEE-ACM
Code cloning is not only assumed to inflate maintenance costs but also considered defect-prone as inconsistent changes to code duplicates can lead to unexpected behavior. Conseque...
170
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Exception handling is one of the popular means used for improving dependability and supporting recovery in the ServiceOriented Architecture (SOA). This practical experience paper ...
168
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...