176 search results - page 17 / 36 » Improving Test Suites via Operational Abstraction |
SMC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Today’s enterprises are confronted with a challenging environment that demands continuous transformations. Globalized markets, disruptive technological innovations, an...
ASPDAC
2005
ACM
13 years 8 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
ECOOP
2010
Springer
13 years 11 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
ICANNGA
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. The use of support vector machines for multi-category problems is still an open field to research. Most of the published works use the one-against-rest strategy, but with...
SOSP
2009
ACM
14 years 3 months ago
2009
ACM
Helios is an operating system designed to simplify the task of writing, deploying, and tuning applications for heterogeneous platforms. Helios introduces satellite kernels, which ...