4155 search results - page 688 / 831 » External Memory Algorithms |
87
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
208
Voted
POPL
2008
ACM
16 years 29 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
219
Voted
POPL
2006
ACM
16 years 29 days ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
104
Voted
EUROGRAPHICS
2010
Eurographics
15 years 9 months ago
2010
Eurographics
We present a new technique to implement operators that modify the topology of polygonal meshes at intersections and self-intersections. Depending on the modification strategy, th...
100
Voted
DASFAA
2010
IEEE
15 years 7 months ago
2010
IEEE
Compression in column-oriented databases has been proven to offer both performance enhancements and reductions in storage consumption. This is especially true for read access as c...