8808 search results - page 1614 / 1762 » Process of Software Evolution |
144
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
125
click to vote
JSS
2010
15 years 3 months ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
131
click to vote
JUCS
2010
15 years 3 months ago
2010
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
161
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
144
click to vote
POPL
2010
ACM
15 years 3 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...