Sciweavers

12289 search results - page 150 / 2458
» computing 2006
Sort
View
170
Voted
DCC
2006
IEEE
15 years 7 months ago
A sequence of one-point codes from a tower of function fields
Takehiro Hasegawa, Shoichi Kondo, Hidekazu Kurusu
149
Voted
CGA
2006
15 years 7 months ago
BRDF-Shop: Creating Physically Correct Bidirectional Reflectance Distribution Functions
Mark Colbert, Sumanta N. Pattanaik, Jaroslav Kriv&...
FPL
2006
Springer
94views Hardware» more  FPL 2006»
15 years 11 months ago
Sizing of Processing Arrays for FPGA-Based Computation
Computing applications in FPGAs are commonly built from repetitive structures of computing and/or memory elements. In many cases, application performance depends on the degree of ...
Tom Van Court, Martin C. Herbordt
249
Voted
ACL2
2006
ACM
15 years 11 months ago
The ideal of verified software
Tony Hoare
233
Voted
ACL2
2006
ACM
16 years 1 months ago
Towards a formal theory of on chip communications in the ACL2 logic
Julien Schmaltz, Dominique Borrione