4418 search results - page 526 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
185
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
The MIX mediator systems incorporates a novel framework for navigation-driven evaluation of virtual mediated views. Its architecture allows the on-demand computation of views and q...
171
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Patent text is a rich source to discover technological progresses, useful to understand the trend and forecast upcoming advances. For the importance in mind, several researchers h...
182
Voted
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
174
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The “quadratic placement” methodology is rooted in [6] [14] [16] and is reputedly used in many commercial and in-house tools for placement of standard-cell and gate-array desi...
183
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
Today's high-end massively parallel processing (MPP) machines have thousands to tens of thousands of processors, with next-generation systems planned to have in excess of one...