Sciweavers

4759 search results - page 529 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
WSC
2008
15 years 9 months ago
Impact of qualification management on scheduling in semiconductor manufacturing
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...
Carl Johnzen, Philippe Vialletelle, Stéphan...
VMV
2001
111views Visualization» more  VMV 2001»
15 years 8 months ago
MeshToSS: Converting Subdivision Surfaces from Dense Meshes
The theoretical aspects are discussed of our developed software, MeshToSS, for the conversion to Loop subdivision surfaces of dense triangular meshes. This software generates subd...
Takashi Kanai
SERP
2003
15 years 8 months ago
Formal Validation of HCI User Tasks
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
Yamine Aït Ameur, Mickaël Baron, Patrick...
SIGSOFT
2010
ACM
15 years 4 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
ISAAC
2004
Springer
115views Algorithms» more  ISAAC 2004»
16 years 5 days ago
Randomized Algorithms for Motif Detection
Motivation: Motif detection for DNA sequences has many important applications in biological studies, e.g., locating binding sites and regulatory signals, and designing genetic prob...
Lusheng Wang, Liang Dong, Hui Fan