2958 search results - page 215 / 592 » Extending and Implementing RASP |
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
IWRIDL
2006
ACM
14 years 4 months ago
2006
ACM
The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
ICPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Shift-map image processing is a new framework based on energy minimization over a large space of labels. The optimization utilizes α-expansion moves and iterative refinement ove...
ACSD
2005
IEEE
14 years 4 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
APSEC
2005
IEEE
14 years 4 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...