Academic literature on the topic 'STATIC CONSTRAINTS'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'STATIC CONSTRAINTS.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "STATIC CONSTRAINTS"
Eun, Hee-Chang, Eun-Taik Lee, and Heon-Soo Chung. "On the static analysis of constrained structural systems." Canadian Journal of Civil Engineering 31, no. 6 (December 1, 2004): 1119–22. http://dx.doi.org/10.1139/l04-036.
Full textMrzygłód, M. "Multi-constrained topology optimization using constant criterion surface algorithm." Bulletin of the Polish Academy of Sciences: Technical Sciences 60, no. 2 (October 1, 2012): 229–36. http://dx.doi.org/10.2478/v10175-012-0030-9.
Full textChristopher Cruz, Arnold, and Ahmad Bani Younes. "Common Frame Dynamics for Conically-Constrained Spacecraft Attitude Control." Sensors 22, no. 24 (December 19, 2022): 10003. http://dx.doi.org/10.3390/s222410003.
Full textGosain, Anjana, and Kavita Sachdeva. "Handling Constraints Using Penalty Functions in Materialized View Selection." International Journal of Natural Computing Research 8, no. 2 (April 2019): 1–17. http://dx.doi.org/10.4018/ijncr.2019040101.
Full textSCHIEX, THOMAS, and GÉRARD VERFAILLIE. "NOGOOD RECORDING FOR STATIC AND DYNAMIC CONSTRAINT SATISFACTION PROBLEMS." International Journal on Artificial Intelligence Tools 03, no. 02 (June 1994): 187–207. http://dx.doi.org/10.1142/s0218213094000108.
Full textBernal, Dionisio, Martin D. Ulriksen, and Esmaeil Memarzadeh. "Static constraints in direct model updating." Mechanical Systems and Signal Processing 163 (January 2022): 108170. http://dx.doi.org/10.1016/j.ymssp.2021.108170.
Full textOlender, Kurt M., and Leon J. Osterweil. "Interprocedural static analysis of sequencing constraints." ACM Transactions on Software Engineering and Methodology (TOSEM) 1, no. 1 (January 2, 1992): 21–52. http://dx.doi.org/10.1145/125489.122822.
Full textPan, Peng, Michael A. Peshkin, J. Edward Colgate, and Kevin M. Lynch. "Static Single-Arm Force Generation With Kinematic Constraints." Journal of Neurophysiology 93, no. 5 (May 2005): 2752–65. http://dx.doi.org/10.1152/jn.00799.2004.
Full textDuan, Qingjuan, Quanli Zhao, and Tianle Wang. "Consistent Solution Strategy for Static Equilibrium Workspace and Trajectory Planning of Under-Constrained Cable-Driven Parallel and Planar Hybrid Robots." Machines 10, no. 10 (October 10, 2022): 920. http://dx.doi.org/10.3390/machines10100920.
Full textWang, Ren, Jingxiang Gao, Nanshan Zheng, Zengke Li, Yifei Yao, Long Zhao, and Yifan Wang. "Research on Accelerating Single-Frequency Precise Point Positioning Convergence with Atmospheric Constraint." Applied Sciences 9, no. 24 (December 10, 2019): 5407. http://dx.doi.org/10.3390/app9245407.
Full textDissertations / Theses on the topic "STATIC CONSTRAINTS"
Marlowe, Laura C. "A Static Scheduler for critical timing constraints." Thesis, Monterey, California. Naval Postgraduate School, 1988. http://hdl.handle.net/10945/23406.
Full textThe Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL) represent a pioneering effort in the field of software development. The implementation of CAPS will enable software engineers to automatically validate design specifications and functional requirements early in the design of a software system through the development and execution of a prototype of the system under construction. Execution of the prototype is controlled by an Execution Support System (ESS) within the framework of CAPS. One of the critical elements of the ESS is the Static Scheduler which extracts critical timing constraints and precedence information about operators from the PSDL source that describes the prototype. The Static Scheduler then uses this information to determine whether a feasible schedule can be built, and if it can, constructs the schedule for operator execution within the prototype.
http://archive.org/details/staticschedulerf00marl
Lieutenant Commander, United States Navy
Bhavnagarwala, Azeez Jenúddin. "Voltage scaling constraints for static CMOS logic and memory cirucits." Diss., Georgia Institute of Technology, 2001. http://hdl.handle.net/1853/15401.
Full textAbbas, Abdullah. "Static analysis of semantic web queries with ShEx schema constraints." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM064/document.
Full textData structured in the Resource Description Framework (RDF) are increasingly available in large volumes. This leads to a major need and research interest in novel methods for query analysis and compilation for making the most of RDF data extraction. SPARQL is the widely used and well supported standard query language for RDF data. In parallel to query language evolutions, schema languages for expressing constraints on RDF datasets also evolve. Shape Expressions (ShEx) are increasingly used to validate RDF data, and to communicate expected graph patterns. Schemas in general are important for static analysis tasks such as query optimisation and containment. Our purpose is to investigate the means and methodologies for SPARQL query static analysis and optimisation in the presence of ShEx schema constraints.Our contribution is mainly divided into two parts. In the first part we consider the problem of SPARQL query containment in the presence of ShEx constraints. We propose a sound and complete procedure for the problem of containment with ShEx, considering several SPARQL fragments. Particularly our procedure considers OPTIONAL query patterns, that turns out to be an important feature to be studied with schemas. We provide complexity bounds for the containment problem with respect to the language fragments considered. We also propose alternative method for SPARQL query containment with ShEx by reduction into First Order Logic satisfiability, which allows for considering SPARQL fragment extension in comparison to the first method. This is the first work addressing SPARQL query containment in the presence of ShEx constraints.In the second part of our contribution we propose an analysis method to optimise the evaluation of conjunctive SPARQL queries, on RDF graphs, by taking advantage of ShEx constraints. The optimisation is based on computing and assigning ranks to query triple patterns, dictating their order of execution. The presence of intermediate joins between the query triple patterns is the reason why ordering is important in increasing efficiency. We define a set of well-formed ShEx schemas, that possess interesting characteristics for SPARQL query optimisation. We then develop our optimisation method by exploiting information extracted from a ShEx schema. We finally report on evaluation results performed showing the advantages of applying our optimisation on the top of an existing state-of-the-art query evaluation system
Grayland, Andrews. "Automated static symmetry breaking in constraint satisfaction problems." Thesis, University of St Andrews, 2011. http://hdl.handle.net/10023/1718.
Full textNiedert, Michael D. "Static-task scheduling incorporating precedence constraints and deadlines in a heterogeneous-computing environment." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2000. http://handle.dtic.mil/100.2/ADA380969.
Full textKafle, Bishoksan. "Modeling assembly program with constraints. A contribution to WCET problem." Master's thesis, Faculdade de Ciências e Tecnologia, 2012. http://hdl.handle.net/10362/7968.
Full textModel checking with program slicing has been successfully applied to compute Worst Case Execution Time (WCET) of a program running in a given hardware. This method lacks path feasibility analysis and suffers from the following problems: The model checker (MC) explores exponential number of program paths irrespective of their feasibility. This limits the scalability of this method to multiple path programs. And the witness trace returned by the MC corresponding to WCET may not be feasible (executable). This may result in a solution which is not tight i.e., it overestimates the actual WCET. This thesis complements the above method with path feasibility analysis and addresses these problems. To achieve this: we first validate the witness trace returned by the MC and generate test data if it is executable. For this we generate constraints over a trace and solve a constraint satisfaction problem. Experiment shows that 33% of these traces (obtained while computing WCET on standard WCET benchmark programs) are infeasible. Second, we use constraint solving technique to compute approximate WCET solely based on the program (without taking into account the hardware characteristics), and suggest some feasible and probable worst case paths which can produce WCET. Each of these paths forms an input to the MC. The more precise WCET then can be computed on these paths using the above method. The maximum of all these is the WCET. In addition this, we provide a mechanism to compute an upper bound of over approximation for WCET computed using model checking method. This effort of combining constraint solving technique with model checking takes advantages of their strengths and makes WCET computation scalable and amenable to hardware changes. We use our technique to compute WCET on standard benchmark programs from M¨alardalen University and compare our results with results from model checking method.
Nelson, Andrew P. "Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++." DigitalCommons@CalPoly, 2018. https://digitalcommons.calpoly.edu/theses/1848.
Full textLu, Tingting. "Effects of Multimedia on Motivation, Learning and Performance: The Role of Prior Experience and Task Constraints." The Ohio State University, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=osu1218660147.
Full textUngwattanapanit, Tanut [Verfasser], Horst [Akademischer Betreuer] Baier, Horst [Gutachter] Baier, and Kai-Uwe [Gutachter] Bletzinger. "Optimization of Steered-Fibers Composite Stiffened Panels including Postbuckling Constraints handled via Equivalent Static Loads / Tanut Ungwattanapanit ; Gutachter: Horst Baier, Kai-Uwe Bletzinger ; Betreuer: Horst Baier." München : Universitätsbibliothek der TU München, 2017. http://d-nb.info/1152384082/34.
Full textSaglam, Hueseyin. "A toolkit for static analysis of constraint logic programs." Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262739.
Full textBooks on the topic "STATIC CONSTRAINTS"
Marlowe, Laura C. A Static Scheduler for critical timing constraints. Monterey, Calif: Naval Postgraduate School, 1988.
Find full textMarriages & families: Changes, choices, and constraints. 7th ed. Upper Saddle River, N.J: Pearson/Prentice Hall, 2011.
Find full textBenokraitis, Nijole V. Marriages and families: Changes, choices, and constraints. 5th ed. Upper Saddle River, NJ: Pearson, 2003.
Find full textMarriages and families: Changes, choices, and constraints. 2nd ed. Upper Saddle River, N.J: Prentice Hall, 1996.
Find full textMarriages and families: Changes, choices and constraints. 3rd ed. Upper Saddle River, NJ: Prentice Hall, 1999.
Find full textBenokraitis, Nijole V. Marriages and families: Changes, choices, and constraints. Englewood Cliffs, N.J: Prentice Hall, 1993.
Find full textBenokraitis, Nijole V. Marriages and families: Changes, choices, and constraints. 6th ed. Upper Saddle River, N.J: Pearson Education, 2007.
Find full textMarriages and families: Changes, choices, and constraints. 4th ed. Upper Saddle River, N.J: Prentice Hall, 2002.
Find full textSonority constraints on prosodic structure. New York: Garland Pub., 1994.
Find full textTomkovicz, James J. Criminal procedure: Constitutional constraints upon investigation and proof. 7th ed. New Providence, NJ: LexisNexis, 2012.
Find full textBook chapters on the topic "STATIC CONSTRAINTS"
Bakhirkin, Alexey, and David Monniaux. "Extending Constraint-Only Representation of Polyhedra with Boolean Constraints." In Static Analysis, 127–45. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99725-4_10.
Full textRehof, Jakob, and Torben Æ. Mogensen. "Tractable constraints in finite semilattices." In Static Analysis, 285–300. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_48.
Full textvan Houtum, Geert-Jan, and Bram Kranenburg. "Static Repair Priorities." In Spare Parts Inventory Control under System Availability Constraints, 185–208. Boston, MA: Springer US, 2015. http://dx.doi.org/10.1007/978-1-4899-7609-3_8.
Full textJackson, Daniel. "Enforcing Design Constraints with Object Logic." In Static Analysis, 1–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-540-45099-3_1.
Full textLiu, Yanhong A., Ning Li, and Scott D. Stoller. "Solving Regular Tree Grammar Based Constraints." In Static Analysis, 213–33. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_13.
Full textGlynn, Kevin, Peter J. Stuckey, and Martin Sulzmann. "Effective Strictness Analysis with HORN Constraints." In Static Analysis, 73–92. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_5.
Full textFähndrich, Manuel, and Alexander Aiken. "Program analysis using mixed term and set constraints." In Static Analysis, 114–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0032737.
Full textWolper, Pierre, and Bernard Boigelot. "An automata-theoretic approach to Presburger arithmetic constraints." In Static Analysis, 21–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_30.
Full textLarouci, C., J. P. Ferrieux, L. Gerbaud, and J. Roudet. "Optimization under Constraints of Static Converters." In Optimization and Inverse Problems in Electromagnetism, 295–302. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-017-2494-4_30.
Full textRuggieri, Salvatore, and Fred Mesnard. "Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs." In Static Analysis, 128–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-69166-2_9.
Full textConference papers on the topic "STATIC CONSTRAINTS"
Ferris, John B. "Capturing Planer Tire Enveloping Properties Using Static Constraint Modes." In ASME 2006 International Mechanical Engineering Congress and Exposition. ASMEDC, 2006. http://dx.doi.org/10.1115/imece2006-15260.
Full textHeld, Stephan, Dirk Muller, Daniel Rotter, Vera Traub, and Jens Vygen. "Global routing with inherent static timing constraints." In 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2015. http://dx.doi.org/10.1109/iccad.2015.7372556.
Full textDsouza, Ashvin. "Static analysis of deadends in SVA constraints." In 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT). IEEE, 2010. http://dx.doi.org/10.1109/hldvt.2010.5496656.
Full textCiraci, Selim, Pim van den Broek, and Mehmet Aksit. "Graph-based verification of static program constraints." In the 2010 ACM Symposium. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1774088.1774561.
Full textHuang, Shiqiang, Xiaoguang Gao, and Jia Ren. "Static Bayesian Network Parameter Learning Using Constraints." In 2011 International Workshop on Multi-Platform/Multi-Sensor Remote Sensing and Mapping (M2RSM). IEEE, 2011. http://dx.doi.org/10.1109/m2rsm.2011.5697401.
Full textBo, Yang, Chunhe Xia, Yang Luo, and Qing Tang. "Static Compliance Checking beyond Separation of Duty Constraints." In 2014 Ninth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC). IEEE, 2014. http://dx.doi.org/10.1109/3pgcic.2014.53.
Full textNadi, Sarah, Thorsten Berger, Christian Kästner, and Krzysztof Czarnecki. "Mining configuration constraints: static analyses and empirical results." In ICSE '14: 36th International Conference on Software Engineering. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2568225.2568283.
Full textPeng Pan, K. M. Lynch, M. A. Peshkin, and J. E. Colgate. "Static single-arm force generation with kinematic constraints." In IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004. IEEE, 2004. http://dx.doi.org/10.1109/robot.2004.1307484.
Full textKarpel, M., B. Moulin, and M. Love. "Modal-based structural optimization with static aeroelastic and stress constraints." In 37th Structure, Structural Dynamics and Materials Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1996. http://dx.doi.org/10.2514/6.1996-1479.
Full textDerler, Patricia, and Stefan Resmerita. "Flexible Static Scheduling of Software with Logical Execution Time Constraints." In 2010 IEEE 10th International Conference on Computer and Information Technology (CIT). IEEE, 2010. http://dx.doi.org/10.1109/cit.2010.301.
Full textReports on the topic "STATIC CONSTRAINTS"
Cusbert, Tom. The Effect of Credit Constraints on Housing Prices: (Further) Evidence from a Survey Experiment. Reserve Bank of Australia, January 2023. http://dx.doi.org/10.47688/rdp2023-01.
Full textMahmoudi, Mona, and Guillermo Sapiro. Constrained Localization in Static and Dynamic Sensor Networks (PREPRINT). Fort Belvoir, VA: Defense Technical Information Center, January 2006. http://dx.doi.org/10.21236/ada478415.
Full textWoodford, Michael. Information-Constrained State-Dependent Pricing. Cambridge, MA: National Bureau of Economic Research, December 2008. http://dx.doi.org/10.3386/w14620.
Full textMiller, Kyle, and Andrew Lohn. Onboard AI: Constraints and Limitations. Center for Security and Emerging Technology, August 2023. http://dx.doi.org/10.51593/2022ca008.
Full textVargas-Riaño, Carmiña Ofelia, and Julian Parra-Polania. Relevance of the collateral constraint form in the analysis of financial crisis interventions. Banco de la República, January 2022. http://dx.doi.org/10.32468/be.1190.
Full textMinaburo, A., L. Toutain, and R. Andreasen. Static Context Header Compression (SCHC) for the Constrained Application Protocol (CoAP). RFC Editor, June 2021. http://dx.doi.org/10.17487/rfc8824.
Full textDayton, David C., Brian G. Southwell, and Vikram Rao. Diversifying Energy Options in a Carbon-Constrained World. RTI Press, October 2021. http://dx.doi.org/10.3768/rtipress.2021.rb.0029.2110.
Full textCaporuscio, Florie A., Michael C. Cheshire, Dennis L. Newell, and Mary Kate McCarney. Status of LANL investigations of temperature constraints on clay in repository environments. Office of Scientific and Technical Information (OSTI), August 2012. http://dx.doi.org/10.2172/1049356.
Full textSassani, David, Laura Price, Ralph Rogers, Walter Walkow, Ava Johnson, and Amanda Sanchez. Update to Waste Form Performance Constraints and OWL Status and Inventory Content. Office of Scientific and Technical Information (OSTI), August 2017. http://dx.doi.org/10.2172/1762031.
Full textWilkowski, G. M., D. Rudland, P. Mincer, B. Metrovich, and D. Rider. ASME-PVP05 Brittle-to-Ductile Fracture Initiation Transition Temperature for Old Linepipe w Surface-Crack. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), January 2005. http://dx.doi.org/10.55274/r0011772.
Full text