Sciweavers

171 search results - page 8 / 35
» When Is the Product of Intervals Also an Interval
Sort
View
CAV
2010
Springer
156views Hardware» more  CAV 2010»
13 years 7 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
FORMATS
2006
Springer
13 years 11 months ago
A Dose of Timed Logic, in Guarded Measure
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
Kamal Lodaya, Paritosh K. Pandya
TSMC
2010
13 years 2 months ago
Networked Synchronization Control of Coupled Dynamic Networks With Time-Varying Delay
Abstract--This paper is concerned with the networked synchronization control problem of coupled dynamic networks (CDNs) with time-varying delay. First, both the data packet dropout...
Yingchun Wang, Huaguang Zhang, Xingyuan Wang, Dong...
BMCBI
2007
154views more  BMCBI 2007»
13 years 7 months ago
Bounds on the distribution of the number of gaps when circles and lines are covered by fragments: Theory and practical applicati
Background: The question of how a circle or line segment becomes covered when random arcs are marked off has arisen repeatedly in bioinformatics. The number of uncovered gaps is o...
John Moriarty, Julian R. Marchesi, Anthony Metcalf...
ASAP
2003
IEEE
155views Hardware» more  ASAP 2003»
14 years 26 days ago
Decimal Multiplication Via Carry-Save Addition
Decimal multiplication is important in many commercial applications including financial analysis, banking, tax calculation, currency conversion, insurance, and accounting. This p...
Mark A. Erle, Michael J. Schulte