Sciweavers

15253 search results - page 2555 / 3051
» Integer-Programming Software Systems
Sort
View

Publication
232views
17 years 4 months ago
Multi-stage Programming:  Its Theory and Applications
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
Walid Taha
264
Voted
PEPM
2007
ACM
17 years 4 months ago
Concoqtion: Indexed types now!
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
Emir Pasalic, Jeremy G. Siek, Seth Fogarty, Walid ...

Source Code
2556views
17 years 4 months ago
Blender: Open Source 3D Computer Animation Suite
"Blender is a free 3D graphics application. It can be used for modeling, UV unwrapping, texturing, rigging, water simulations, skinning, animating, rendering, particle and oth...
CVPR
1998
IEEE
16 years 8 months ago
Real-Time 2-D Feature Detection on a Reconfigurable Computer
We have designed and implemented a system for real-time detection of 2-D features on a reconfigurable computer based on Field Programmable Gate Arrays (FPGA `s). We envision this ...
Arrigo Benedetti, Pietro Perona
ICDE
2002
IEEE
161views Database» more  ICDE 2002»
16 years 7 months ago
Design and Implementation of a High-Performance Distributed Web Crawler
Broad web search engines as well as many more specialized search tools rely on web crawlers to acquire large collections of pages for indexing and analysis. Such a web crawler may...
Vladislav Shkapenyuk, Torsten Suel
« Prev « First page 2555 / 3051 Last » Next »