Sciweavers

5210 search results - page 202 / 1042
» Exact geometric computation
Sort
View
ARITH
2005
IEEE
15 years 11 months 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
15 years 11 months 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 6 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 6 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 12 days 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...