162 search results - page 14 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
ICFEM
2009
Springer
13 years 12 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Software reuse has long been promoted as a means to increase developer productivity; however, reusing source code is difficult in practice and tends to be performed in an ad hoc m...
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Orthogonal Frequency Division Multiplexing (OFDM) is sensitive to Carrier Frequency Offset (CFO), which destroys the orthogonality and causes Inter-Carrier Interference (ICI). ...
MASCOTS
2007
13 years 8 months ago
2007
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...