2272 search results - page 114 / 455 » Capture Complexity by Partition |
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
NOMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Large complex systems (such as Enterprise systems) are often composed of several interacting, independent components. In many such systems, although the behavior of the constituen...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we investigate how to obtain high-level adaptivity on complex scientific applications such as Finite Element (FE) simulators by building an adaptive version of thei...
DBISP2P
2004
Springer
15 years 3 months ago
2004
Springer
Today, there is an increasing demand to share data with complex data types (e.g., multi-dimensional) over large numbers of data sources. One of the key challenges is sharing these ...
ITC
1994
IEEE
15 years 2 months ago
1994
IEEE
For obtaining a zero defect level, a high fault coverage with respect to the stuck-at fault model is often not sufficient as there are many defects that show a more complex behavi...