781 search results - page 144 / 157 » Self-Organizing Operator Maps in Complex System Analysis |
115
click to vote
WCRE
1995
IEEE
15 years 3 months ago
1995
IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...
POPL
2010
ACM
15 years 6 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...
94
Voted
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
117
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
Ever increasing complexity and heterogeneity of SoC platforms require diversified on-chip communication schemes beyond the currently omnipresent shared bus architectures. To prev...
131
click to vote
VLDB
2001
ACM
15 years 4 months ago
2001
ACM
Most modern DBMS optimizers rely upon a cost model to choose the best query execution plan (QEP) for any given query. Cost estimates are heavily dependent upon the optimizer’s e...