Filters








245,949 Hits in 4.9 sec

Logic of Constraints: A Quantitative Performance and Functional Constraint Formalism

X. Chen, H. Hsieh, F. Balarin, Y. Watanabe
<span title="">2004</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
Through several industrial case studies, we demonstrate the usefulness of the LOC formalism and the corresponding verification approaches at the higher, transaction level of abstraction.  ...  In this paper, we introduce Logic of Constraints (LOC), a language that is particularly suited to express quantitative performance constraints as well as functional constraints.  ...  LOC is particularly suited for specification and simulation analysis of real time performance constraints at the transaction level, as will be shown later in this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2004.831575">doi:10.1109/tcad.2004.831575</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kyxwak2lfjanpoq2eihaxploxa">fatcat:kyxwak2lfjanpoq2eihaxploxa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060324142446/http://www1.cs.ucr.edu/store/techreports/UCR-CS-2004-02087.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/3e/953ef0025ac273d377f659ae6d8dc742d18509b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2004.831575"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Integrated generation and transmission maintenance scheduling with network constraints

M.K.C. Marwali, S.M. Shahidehpour
<span title="">1998</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gnhkf3aieraxhlw7vpy6whnksy" style="color: black;">IEEE Transactions on Power Systems</a> </i> &nbsp;
maintenance constraints.  ...  The inclusion of transmission and network constraints in generating unit maintenance will increase the complexity of the problem. so we propose to decompose the global eeneratoritransmission scheduling  ...  ACKNOWLEDGMENTS The authors would like to appreciate the financial support provided by the Power Systems Laboratory at Illinois Institute of Technology, and the Agency for the Assessment & Application  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/59.709100">doi:10.1109/59.709100</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jhbwib3i55ezvlpzkpplvbaecu">fatcat:jhbwib3i55ezvlpzkpplvbaecu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100217004901/http://motor.ece.iit.edu:80/papers/00599373.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bc/c0/bcc0731946086e80df793cfe6b423b4a8262a0c2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/59.709100"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Efficient Integration of Multihop Wireless and Wired Networks With QoS Constraints

Y. Bejerano
<span title="">2004</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wn5qtqh7ejhpfdjtrxhija73bq" style="color: black;">IEEE/ACM Transactions on Networking</a> </i> &nbsp;
and delay.  ...  This infrastructure is useful for designing low cost and fast deployed access networks in rural and suburban areas.  ...  Wireless sensor networks, like the Wireless Integrated Network Sensors (WINS) [3] , provide monitoring and control capacities over large areas for monitoring applications, like transportation, manufacturing  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tnet.2004.838599">doi:10.1109/tnet.2004.838599</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ognsqnrxqnbptbl7vli5l34gmi">fatcat:ognsqnrxqnbptbl7vli5l34gmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040330235453/http://www.bell-labs.com:80/user/bejerano/Papers/ad_hoc_clustering_ToN.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/55/b8/55b80a72fa985b46bf9834c63f9198f975caf636.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tnet.2004.838599"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Global routing with crosstalk constraints

Hai Zhou, D.F. Wong
<span title="">1999</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
INTRODUCTION With very large scale integration (VLSI) fabrication entering the deep submicron era, devices and interconnection wires are being placed at an ever increasing proximity.  ...  Increased coupling effect not only increases signal delays, but also decreases signal integrity due to transmission line behavior. This phenomenon is called crosstalk [1] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.806813">doi:10.1109/43.806813</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o6sjjmq6o5e6rmxemavowyiau4">fatcat:o6sjjmq6o5e6rmxemavowyiau4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809105504/http://users.eecs.northwestern.edu/~haizhou/publications/zhou99tcad.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/be/57/be571195e7432e29ba6d094bb89951443bc1989e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.806813"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Slicing floorplan with clustering constraint

W.S. Yuen, E.F.Y. Young
<span title="">2003</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
Index Terms-Clustering constraint, design floorplanning, floorplanning, physical design, very large scale integrated computer-aided design (VLSI CAD). I.  ...  Some previous works on preplace constraint and range constraint in slicing floorplan [12] , [11] have been done.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2003.810738">doi:10.1109/tcad.2003.810738</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jhnks5vxijc2xhbsuokz5euqsm">fatcat:jhnks5vxijc2xhbsuokz5euqsm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830032356/http://www.cse.cuhk.edu.hk/~fyyoung/paper/tcad03_5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/af/52/af5217689aeb788dd0a38dc41d7fefc1aad6784b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2003.810738"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Bode integral constraints, collocation, and spillover in active noise and vibration control

Jeongho Hong, D.S. Bernstein
<span title="">1998</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w55uhp5h3rdubpws6c5kic4vxm" style="color: black;">IEEE Transactions on Control Systems Technology</a> </i> &nbsp;
Finally, the results are illustrated by means of structural and acoustic examples. Index Terms-Bode integral constraint, colocation, LQG, positive real, spillover.  ...  The goal of this paper is to further investigate this relationship by means of the classical Bode integral constraint on achievable performance.  ...  Bhat for providing the example of Section VII-A and C. V. Hollot, University of Massachusetts, Amherst, for suggesting Proposition 4.1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/87.654881">doi:10.1109/87.654881</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lm77kj5h4fgfdgfdhzlcrjhen4">fatcat:lm77kj5h4fgfdgfdhzlcrjhen4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818145258/https://deepblue.lib.umich.edu/bitstream/handle/2027.42/57798/HongSpilloverTCST1998.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/27/34/27346066e583fba24b49e1e87ea92dee0348e854.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/87.654881"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An integrated approach to engineer and enforce context constraints in RBAC environments

Mark Strembeck, Gustaf Neumann
<span title="2004-08-01">2004</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/trn6le535rfr5ma6j7pf3fegae" style="color: black;">ACM Transactions on Privacy and Security</a> </i> &nbsp;
We present an engineering process for context constraints that is based on goal-oriented requirements engineering techniques, and describe how we extended the design and implementation of an existing RBAC  ...  With our approach we aim to preserve the advantages of RBAC and offer an additional means for the definition and enforcement of fine-grained context-dependent access control policies.  ...  Beside the categorization as static/dynamic and endogenous/exogenous, constraints can also be subdivided in authorization constraints and assignment constraints: -Authorization constraints are constraints  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1015040.1015043">doi:10.1145/1015040.1015043</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oyqppynvibf2vnpzszc73q2l24">fatcat:oyqppynvibf2vnpzszc73q2l24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050129231007/http://wi.wu-wien.ac.at:80/~mark/publications/tissec-v7n3-aug04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ff/4e/ff4ef8d6825aa5eec7fa8f42c6e672a35125721a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1015040.1015043"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Slicing floorplans with boundary constraints

F.Y. Young, D.F. Wong, H.H. Yang
<span title="">1999</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
constraints efficiently and can fix the expression in case the constraints are violated.  ...  In floorplanning of very large scale integration design, it is useful if users are allowed to specify some placement constraints in the packing.  ...  INTRODUCTION Floorplan design is an important step in physical design of very large scale integration circuits.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.784129">doi:10.1109/43.784129</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lp6rlf653bbpxof73puawraxt4">fatcat:lp6rlf653bbpxof73puawraxt4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080419001608/http://www.cse.cuhk.edu.hk/~fyyoung/paper/tcad99_9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/50/7350816a9d02ba97659627f3535da4b662d0ffaf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.784129"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints

Bart Bogaerts, Luís Cruz-Filipe
<span title="2021-01-05">2021</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3kjjbv4edjbezl2w37ipy5lo5a" style="color: black;">ACM Transactions on Computational Logic</a> </i> &nbsp;
One recent application domain of AFT is the field of active integrity constraints (AICs).  ...  We apply our extended stratification theory to AICs and find that existing notions of stratification in AICs are covered by this general algebraic definition of stratification.  ...  Wallner 2015] , description logics [Liu et al. 2016] , and active integrity constraints [Bogaerts and Cruz-Filipe 2018] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3430750">doi:10.1145/3430750</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ayq77dljzrao3elkidbn24fpbm">fatcat:ayq77dljzrao3elkidbn24fpbm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210716012614/https://findresearcher.sdu.dk:8443/ws/files/180002764/AIC_Stratification.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/12/bd/12bd24b36a0f5f19a29878b53d5d45d8d3827e86.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3430750"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A fast pseudo-Boolean constraint solver

D. Chai, A. Kuehlmann
<span title="">2005</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
Linear Pseudo-Boolean (LPB) constraints denote inequalities between arithmetic sums of weighted Boolean functions and provide a significant extension of the modeling power of purely propositional constraints  ...  In this paper we review how recent advances in satisfiability (SAT) search can be extended for pseudo-Boolean constraints and describe a new LPB solver that is based on generalized constraint propagation  ...  Acknowledgments We would like to thank Fadi Aloul for providing the routing benchmarks, the anonymous referees for their valuable comments, and Robert Brayton for useful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2004.842808">doi:10.1109/tcad.2004.842808</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ppo75yvr7jcxllhmub5fwwbvky">fatcat:ppo75yvr7jcxllhmub5fwwbvky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060913093016/http://www.eecs.berkeley.edu/~donald/pubs/chai03-galena.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fb/66/fb6687055acb63ef2d9eade14b37f4f62cbacd65.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2004.842808"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Stochastic optimal LQR control with integral quadratic constraints and indefinite control weights

A.E.B. Lim, Xun Yu Zhou
<span title="">1999</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tiaci7xy45hczhz755zlpu5h7q" style="color: black;">IEEE Transactions on Automatic Control</a> </i> &nbsp;
In this paper, the completely observed stochastic LQR problem with integral quadratic constraints is studied. Sufficient conditions for the wellposedness of this problem are given.  ...  Indeed, we show that in certain cases, these conditions may be satisfied, even when the control weighting matrices in the cost and all of the constraint functionals have negative eigenvalues.  ...  In the context of optimal control with integral constraints, these quadratic approximations are precisely LQR problems with integral quadratic constraints.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/9.774108">doi:10.1109/9.774108</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wwknohdiwvb6ngjb6pyq55xqmm">fatcat:wwknohdiwvb6ngjb6pyq55xqmm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811024816/http://www.ieor.berkeley.edu/~lim/downloads/lq1999.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/64/61/64611125a344a3e69bac3a746c14406a5f17cea7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/9.774108"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Slicing floorplans with range constraint

F.Y. Young, D.F. Wong, H.H. Yang
<span title="">2000</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
Alpert and A. B. Kahng, "Recent directions in netlist partitioning-A survey," Integration, vol. 19, pp. 1-81, 1995. [5] A. E. Caldwell, A. B. Kahng, and I. L. Markov.  ...  De, and J. D. Meindl, "A stochastic wire-length distribution for gigascale integration (GSI)-Part I: Derivation and validation," IEEE Trans. Electron Devices, vol. 45, pp. 580-589, Mar. 1998. [8] A.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.828556">doi:10.1109/43.828556</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j72camzabbez3hdizj33u7yeva">fatcat:j72camzabbez3hdizj33u7yeva</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061026081034/http://www.cse.cuhk.edu.hk:80/~fyyoung/paper/tcad00_2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/3f/5e3fa15dafc5c1658711674715c548ea239e4ec4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.828556"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Dynamic Constraint Analytical Target Cascading Optimization of Steering and Suspension Integrated System

Taowen Cui, Wanzhong Zhao, Chunyan Wang
<span title="2019-02-04">2019</span> <i title="DEStech Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ugjloj4elnhchek5k3frqkmwfy" style="color: black;">DEStech Transactions on Environment Energy and Earth Science</a> </i> &nbsp;
and applied to optimize the integrated system.  ...  In this paper, the dynamic model of steering and suspension integrated system is established, and the evaluation indexes of the integrated system are proposed and deduced, which mainly involves steering  ...  Optimal constraint sensitivity and dynamic linear constraints are the key steps to the DCATC optimization method and will be described as follows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12783/dteees/iceee2018/27800">doi:10.12783/dteees/iceee2018/27800</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qvfax5fqwffbnp3ebppoqll2ue">fatcat:qvfax5fqwffbnp3ebppoqll2ue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429180215/http://dpi-proceedings.com/index.php/dteees/article/download/27800/27209" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/07/aa/07aa2a0812056c242f15cabd301ed425bb021c10.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12783/dteees/iceee2018/27800"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Snapshot isolation and integrity constraints in replicated databases

Yi Lin, Bettina Kemme, Ricardo Jiménez-Peris, Marta Patiño-Martínez, José Enrique Armendáriz-Iñigo
<span title="2009-06-01">2009</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ahla23r2jva2bp2hlkt5rtbx4y" style="color: black;">ACM Transactions on Database Systems</a> </i> &nbsp;
Our definition considers integrity constraints in a way that conforms to the way integrity constraints are handled in commercial systems.  ...  Additionally, most of the work so far ignores the issue of integrity constraints.  ...  ACKNOWLEDGEMENTS We want to thank the anonymous reviewers for their insightful reviews and many constructive suggestions. They helped us tremendously in improving this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1538909.1538913">doi:10.1145/1538909.1538913</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2ukmlpffb5awhhshlplt3fdmfy">fatcat:2ukmlpffb5awhhshlplt3fdmfy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160102205633/http://history.acm.org/pictures/tods/tods.acm.org/accepted/2009/LiSnapshot.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/d0/aed066e638cfc547e5c00a56605b9206552b2f9c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1538909.1538913"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Specification and analysis of timing constraints for embedded systems

R.K. Gupta, G. De Micheli
<span title="">1997</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
We present constraint propagation and analysis techniques to determine satisfaction of imposed constraints by a given system implementation.  ...  We describe operation delay and execution rate constraints that are useful in the context of embedded systems.  ...  ACKNOWLEDGMENT The authors thank their anonymous reviewers for their comments and constructive suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.594830">doi:10.1109/43.594830</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gg7hsf6ycve4ncchwjemacn2we">fatcat:gg7hsf6ycve4ncchwjemacn2we</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811073002/http://icwww.epfl.ch/~demichel/publications/archive/1997/ICASMar97pg240.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d4/ce/d4ce682b738e177c121f4dc8a19b7143c09bfdc6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.594830"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 245,949 results