Sciweavers

12289 search results - page 150 / 2458

» computing 2006

120

DCC
2006
IEEE

79views Computer Graphics» more DCC 2006»

A sequence of one-point codes from a tower of function fields

15 years 3 months ago

A sequence of one-point codes from a tower of function fields

Download dspace.wul.waseda.ac.jp

Takehiro Hasegawa, Shoichi Kondo, Hidekazu Kurusu

claim paper

Read More »

100

CGA
2006

110views Computational Geometry» more CGA 2006»

BRDF-Shop: Creating Physically Correct Bidirectional Reflectance Distribution Functions

15 years 3 months ago

BRDF-Shop: Creating Physically Correct Bidirectional Reflectance Distribution Functions

Download graphics.cs.ucf.edu

Mark Colbert, Sumanta N. Pattanaik, Jaroslav Kriv&...

claim paper

Read More »

127

FPL
2006
Springer

94views Hardware» more FPL 2006»

Sizing of Processing Arrays for FPGA-Based Computation

15 years 7 months ago

Sizing of Processing Arrays for FPGA-Based Computation

Download www.bu.edu

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

claim paper

Read More »

167

ACL2
2006
ACM

239views Computational Linguistics» more ACL2 2006»

The ideal of verified software

15 years 7 months ago

The ideal of verified software

Download www.ccs.neu.edu

Tony Hoare

claim paper

Read More »

165

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

15 years 9 months ago

Towards a formal theory of on chip communications in the ACL2 logic

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

« Prev « First page 150 / 2458 Last » Next »