6142 search results - page 337 / 1229 » The Complexity of Partition Functions |
162
click to vote
NOMS
2008
IEEE
16 years 1 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...
148
click to vote
IPPS
2007
IEEE
16 years 29 days 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...
158
click to vote
DBISP2P
2004
Springer
16 years 2 days 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 ...
153
click to vote
ITC
1994
IEEE
15 years 10 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...
196
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...