12333 search results - page 2287 / 2467 » System Level Modelling for Hardware Software Systems |
132
click to vote
STTT
2010
14 years 9 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
149
click to vote
DGO
2011
14 years 2 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
139
click to vote
ICS
2007
Tsinghua U.
15 years 8 months ago
2007
Tsinghua U.
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...
126
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Many organizations often underutilize their already constructed data warehouses. In this paper, we suggest a novel way of acquiring more information from corporate data warehouses...
132
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Recent research in privacy-preserving data mining (PPDM) has become increasingly popular due to the wide application of data mining and the increased concern regarding the protect...