3176 search results - page 481 / 636 » Strategic product development |
148
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In some cases, minimum Sum-Of-Products (SOP) expressions of Boolean functions can be derived by detecting decomposition and observing the functional properties such as unateness, ...
167
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Hierarchical models have been extensively studied in various domains. However, existing models assume fixed model structures or incorporate structural uncertainty generatively. In...
141
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
166
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
142
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...