5330 search results - page 222 / 1066 » The Performability Tool P'ility |
125
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
We consider the computation of multistate systems reliabilities in the presence of random set estimations for the elements' working abilities. It turns out that the Dempster-...
206
click to vote
TREC
2007
15 years 8 months ago
2007
York University evaluated a prepcessing approach for this year’s enterprise document search task. With different parsing tools, we create two data sets. Based on each data set,...
202
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
We updated our Peggy tool, previously presented in [6], to perform translation validation for the LLVM compiler using a technique called Equality Saturation. We present the tool, a...
174
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
From home improvement to scrapbooking, leisure activities performed “by hand” increasingly involve digital tools. In turn, software and devices to support handwork are prolife...
184
click to vote
ASWEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Refactoring is a set of operations to improve maintainability or understandability or other attributes of a software system without changing the external behavior of it, and it is...