Sciweavers

415 search results - page 36 / 83
» Workspace Analysis of the Orthoglide using Interval Analysis
Sort
View
JNW
2006
86views more  JNW 2006»
15 years 5 months ago
Throughput and Delay Analysis of Unslotted IEEE 802.15.4
The IEEE 802.15.4 standard is designed as a low power and low data rate protocol offering high reliability. It defines a beaconed and unbeaconed version. In this work, we analyze t...
Benoît Latré, Pieter De Mil, Ingrid M...
ESOP
2007
Springer
15 years 11 months ago
Static Analysis by Policy Iteration on Relational Domains
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah...
EUSFLAT
2009
262views Fuzzy Logic» more  EUSFLAT 2009»
15 years 3 months ago
Type-2 Fuzzy Arithmetic using Alpha-planes
Abstract-- This paper examines type-2 fuzzy arithmetic using interval analysis. It relies heavily on alpha-cuts and alpha-planes. Furthermore, we discuss the use of quasi type-2 fu...
Hussam Hamrawi, Simon Coupland
FCCM
2009
IEEE
172views VLSI» more  FCCM 2009»
16 years 7 days ago
Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
Jason Cong, Karthik Gururaj, Bin Liu, Chunyue Liu,...
IJCAI
1989
15 years 6 months ago
Perturbation Analysis with Qualitative Models
Perturbation analysis deals with the relation­ ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
Renato de Mori, Robert Prager