Sciweavers

7835 search results - page 1419 / 1567
» Software are Processes Too
Sort
View
ISVC
2010
Springer
13 years 7 months ago
Visual Network Analysis of Dynamic Metabolic Pathways
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
Markus Rohrschneider, Alexander Ullrich, Andreas K...
JSS
2010
107views more  JSS 2010»
13 years 7 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
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...
Kiran Lakhotia, Phil McMinn, Mark Harman
JUCS
2010
107views more  JUCS 2010»
13 years 7 months ago
Systematic Unit Testing in a Read-eval-print Loop
: 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...
Kurt Nørmark
MM
2010
ACM
129views Multimedia» more  MM 2010»
13 years 7 months ago
Facilitating interactive search and navigation in videos
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...
Klaus Schoeffmann
POPL
2010
ACM
13 years 7 months ago
S-Net for multi-memory multicores
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...
Clemens Grelck, Jukka Julku, Frank Penczek
« Prev « First page 1419 / 1567 Last » Next »