270 search results - page 47 / 54 » Automated test generation for industrial Erlang applications |
100
click to vote
ISBI
2004
IEEE
16 years 16 days ago
2004
IEEE
The practice of image processing inherently requires software development. Creating this technology requires designing, implementing, debugging and testing software applications o...
111
click to vote
CADE
2004
Springer
16 years 4 days ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
105
click to vote
SIGOPS
2010
14 years 10 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
ICLP
1989
Springer
15 years 3 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...