Sciweavers

3176 search results - page 315 / 636
» Strategic product development
Sort
View
145
Voted
CIE
2010
Springer
15 years 11 months ago
The Peirce Translation and the Double Negation Shift
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
Martín Hötzel Escardó, Paulo Ol...
ICCS
2001
Springer
15 years 11 months ago
Performance Prediction for Parallel Local Weather Forecast Programs
: Performance modeling for scientific production codes is of interest both for program tuning and for the selection of new machines. An empirical method is used for developing a m...
Wolfgang Joppich, Hermann Mierendorff
APAQS
2000
IEEE
15 years 11 months ago
Quality Improvement - The Six Sigma Way
Six Sigma provides an effective mechanism to focus on customer requirements, through improvement of process quality. In the Global Engineering Development Center of Tata Consultan...
Mala Murugappan, Gargi Keeni
ECBS
2000
IEEE
84views Hardware» more  ECBS 2000»
15 years 11 months ago
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...
Bonnie E. Melhart, Stephanie White
ICRA
2000
IEEE
116views Robotics» more  ICRA 2000»
15 years 11 months ago
Underwater Robotics: Out of the Research Laboratory and Into the Field
The development of two new classes of commercial underwater robotic vehicles – deep diving work-class remotely operated vehicles and survey-class autonomous vehicles – is bein...
Louis L. Whitcomb