1992 search results - page 263 / 399 » Memory modeling for system synthesis |
149
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
157
click to vote
DAIS
2006
15 years 7 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
185
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
182
click to vote
IPPS
2007
IEEE
16 years 18 days ago
2007
IEEE
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. It is also a promising candidate to exploit the emer...
146
click to vote
LCPC
1991
Springer
15 years 9 months ago
1991
Springer
The dependence ow graph is a novel intermediate representation for optimizingand parallelizing compilersthat can be viewed as an executable representation of program dependences. ...