Sciweavers

3302 search results - page 86 / 661
» Software Is More Than Code
Sort
View
CODES
1997
IEEE
14 years 2 months ago
A generic multi-unit architecture for codesign methodologies
:Thispaper introduces a templatearchitecturefor codesignmethodologies.This architecture is basedon a data synchronizedcontrol schemethat is well adaptedto the implementation of num...
Guy Gogniat, Michel Auguin, Cécile Belleudy
FATES
2003
Springer
14 years 3 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
ICIP
1997
IEEE
14 years 1 months ago
Object Based Video with Progressive Foreground
A novel algorithm is described for coding objects in video compression systems which gives complete control over the bit allocation to the video objects. The method is evaluated b...
Donald M. Monro, Huijuan Li, J. A. Nicholls
ICSE
2011
IEEE-ACM
13 years 1 months ago
Pragmatic prioritization of software quality assurance efforts
A plethora of recent work leverages historical data to help practitioners better prioritize their software quality assurance efforts. However, the adoption of this prior work in p...
Emad Shihab
SIMPAR
2010
162views Robotics» more  SIMPAR 2010»
13 years 8 months ago
Design Principles of the Component-Based Robot Software Framework Fawkes
Abstract. The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with ...
Tim Niemüller, Alexander Ferrein, Daniel Beck...