1164 search results - page 174 / 233 » Using CBR for Semantic Analysis of Software Specifications |
ESE
2006
13 years 9 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
PEPM
2009
ACM
14 years 6 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
CGO
2008
IEEE
14 years 3 months ago
2008
IEEE
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...
SAMOS
2004
Springer
14 years 2 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...