Sciweavers

4880 search results - page 498 / 976
» Manuals as Structured Programs
Sort
View
200
Voted
SAINT
2008
IEEE
16 years 1 months ago
Variable Neighborhood Search for a Prize Collecting Capacity Constrained Connected Facility Location Problem
We present a Variable Neighborhood Search approach for a network design problem occurring in real world when the bandwidth of an existing network shall be enhanced. Using two diff...
Markus Leitner, Günther R. Raidl
IDEAL
2007
Springer
16 years 1 months ago
Modularity, Product Innovation, and Consumer Satisfaction: An Agent-Based Approach
Abstract. The importance of modularity in product innovation is analyzed in this paper. Through simulations with an agent-based modular economic model, we examine the significance...
Shu-Heng Chen, Bin-Tzong Chie
SAS
2007
Springer
16 years 1 months ago
Modular Safety Checking for Fine-Grained Concurrency
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
Cristiano Calcagno, Matthew J. Parkinson, Viktor V...
161
Voted
DATE
2006
IEEE
80views Hardware» more  DATE 2006»
16 years 1 months ago
Software-based self-test of processors under power constraints
Software-based self-test (SBST) of processors offers many benefits, such as dispense with expensive test equipments, test execution during maintenance and in the field or initiali...
Jun Zhou, Hans-Joachim Wunderlich
ECLIPSE
2006
ACM
16 years 1 months ago
JExercise: a specification-based and test-driven exercise support plugin for Eclipse
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
Hallvard Trætteberg, Trond Aalberg