8874 search results - page 353 / 1775 » A New Implementation of Automath |
199
click to vote
FPGA
2010
ACM
15 years 10 months ago
2010
ACM
Multi-ported memories are challenging to implement with FPGAs since the provided block RAMs typically have only two ports. We present a thorough exploration of the design space of...
157
click to vote
WSCG
2004
15 years 8 months ago
2004
Image-space techniques have shown to be very efficient for collision detection in dynamic simulation and animation environments. This paper proposes a new image-space technique for...
202
click to vote
JIKM
2008
15 years 6 months ago
2008
Businesses today, including non-profits, recognise the need for knowledge management (KM). KM may require new strategies and goals before it can be implemented, or it can be aligne...
197
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
176
click to vote
GLVLSI
2005
IEEE
16 years 13 days ago
2005
IEEE
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...