Sciweavers

325 search results - page 51 / 65
» Focused iterative testing: a test automation case study
Sort
View
POPL
2010
ACM
14 years 4 months ago
A simple, verified validator for software pipelining
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
Jean-Baptiste Tristan, Xavier Leroy
ASPDAC
1999
ACM
93views Hardware» more  ASPDAC 1999»
13 years 11 months ago
Optimization of Linear Placements for Wirelength Minimization with Free Sites
We study a type of linear placement problem arising in detailed placement optimization of a given cell row in the presence of white-space (extra sites). In this single-row placeme...
Andrew B. Kahng, Paul Tucker, Alexander Zelikovsky
WSC
2007
13 years 9 months ago
IFAO-SIMO: a spatial-simulation based facility network optimization framework
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...
Ming Xie, Wei Wang, Wen Jun Yin, Jin Dong
KDD
2009
ACM
167views Data Mining» more  KDD 2009»
14 years 8 months ago
Seven pitfalls to avoid when running controlled experiments on the web
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
Thomas Crook, Brian Frasca, Ron Kohavi, Roger Long...
WWW
2008
ACM
14 years 8 months ago
Action science approach to nonprofit housing services using web 2.0 mapping tools
The study follows action science approach to the problem of nonprofit housing services. After 4 months of action sciencebased activities, such as organized participant observation...
Yao-Jen Chang, Hsin-Yu Hsu, Tsen-Yung Wang