Sciweavers

780 search results - page 47 / 156
» software 2011
Sort
View
SOFTWARE
2011
13 years 4 months ago
A Refactoring Approach to Parallelism
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...
Danny Dig
ICST
2011
IEEE
13 years 1 months ago
It is Not the Length That Matters, It is How You Control It
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...
Gordon Fraser, Andrea Arcuri
SOFTWARE
2011
13 years 4 months ago
Object-Oriented Parallelisation of Java Desktop Programs
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
Nasser Giacaman, Oliver Sinnen
EMSOFT
2011
Springer
12 years 9 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
JCC
2011
87views more  JCC 2011»
13 years 4 months ago
NUPACK: Analysis and design of nucleic acid systems
: The Nucleic Acid Package (NUPACK) is a growing software suite for the analysis and design of nucleic acid systems. The NUPACK web server (http://www.nupack.org) currently enables...
Joseph N. Zadeh, Conrad Steenberg, Justin S. Bois,...