Sciweavers

3901 search results - page 427 / 781
» software 2008
Sort
View
CGF
2000
138views more  CGF 2000»
15 years 6 months ago
Real Time, Accurate, Multi-Featured Rendering of Bump Mapped Surfaces
We present a new technique to render in real time objects which have part of their high frequency geometric detail encoded in bump maps. It is based on the quantization of normal-...
Marco Tarini, Paolo Cignoni, Claudio Rocchini, Rob...
CN
2002
102views more  CN 2002»
15 years 6 months ago
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Falk Dietrich, Jean-Pierre Hubaux
CN
1999
70views more  CN 1999»
15 years 6 months ago
Distributed Cooperative Web Servers
Traditional techniques for a distributed web server design rely on manipulation of central resources, such as routers or DNS services, to distribute requests designated for a sing...
Scott M. Baker, Bongki Moon
VMV
2004
80views Visualization» more  VMV 2004»
15 years 8 months ago
Reducing State Changes with a Pipeline Buffer
A limiting factor in the performance of a rendering system is the number of state changes, i.e., changes of the attributes material, texture, shader program, etc., in the stream o...
Jens Krokowski, Harald Räcke, Christian Sohle...
160
Voted
TCS
2008
15 years 6 months ago
Real algebraic numbers and polynomial systems of small degree
We present exact and complete algorithms based on precomputed Sturm-Habicht sequences, discriminants and invariants, that classify, isolate with rational points and compare the re...
Ioannis Z. Emiris, Elias P. Tsigaridas