Sciweavers

5210 search results - page 202 / 1042
» Exact geometric computation
Sort
View
ARITH
2005
IEEE
16 years 23 days ago
Some Functions Computable with a Fused-Mac
The fused multiply accumulate instruction (fused-mac) that is available on some current processors such as the Power PC or the Itanium eases some calculations. We give examples of...
Sylvie Boldo, Jean-Michel Muller
ISPEC
2010
Springer
16 years 8 days ago
On Fast and Approximate Attack Tree Computations
Abstract. In this paper we address the problem of inefficiency of exact attack tree computations. We propose several implementation-level optimizations and introduce a genetic algo...
Aivo Jürgenson, Jan Willemson
TCAD
2008
68views more  TCAD 2008»
15 years 7 months ago
Highly Efficient Gradient Computation for Density-Constrained Analytical Placement
Abstract--Recent analytical global placers use density constraints to approximate nonoverlap constraints, and these show very successful results. This paper unifies a wide range of...
Jason Cong, Guojie Luo, Eric Radke
CORR
2007
Springer
82views Education» more  CORR 2007»
15 years 7 months ago
Programs as polygraphs: computability and complexity
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
Guillaume Bonfante, Yves Guiraud
ICRA
2007
IEEE
134views Robotics» more  ICRA 2007»
16 years 1 months ago
Locally Computable Navigation Functions for Sphere Worlds
Abstract— In this paper we present a new Navigation Function for a sphere world that can be computed locally with limited knowledge of the environment. By requiring smooth and no...
Grigoris Lionis, Xanthi Papageorgiou, Kostas J. Ky...