Littérature scientifique sur le sujet « STATIC CONSTRAINTS »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « STATIC CONSTRAINTS ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "STATIC CONSTRAINTS"
Eun, Hee-Chang, Eun-Taik Lee et Heon-Soo Chung. « On the static analysis of constrained structural systems ». Canadian Journal of Civil Engineering 31, no 6 (1 décembre 2004) : 1119–22. http://dx.doi.org/10.1139/l04-036.
Texte intégralMrzygłód, M. « Multi-constrained topology optimization using constant criterion surface algorithm ». Bulletin of the Polish Academy of Sciences : Technical Sciences 60, no 2 (1 octobre 2012) : 229–36. http://dx.doi.org/10.2478/v10175-012-0030-9.
Texte intégralChristopher Cruz, Arnold, et Ahmad Bani Younes. « Common Frame Dynamics for Conically-Constrained Spacecraft Attitude Control ». Sensors 22, no 24 (19 décembre 2022) : 10003. http://dx.doi.org/10.3390/s222410003.
Texte intégralGosain, Anjana, et Kavita Sachdeva. « Handling Constraints Using Penalty Functions in Materialized View Selection ». International Journal of Natural Computing Research 8, no 2 (avril 2019) : 1–17. http://dx.doi.org/10.4018/ijncr.2019040101.
Texte intégralSCHIEX, THOMAS, et GÉRARD VERFAILLIE. « NOGOOD RECORDING FOR STATIC AND DYNAMIC CONSTRAINT SATISFACTION PROBLEMS ». International Journal on Artificial Intelligence Tools 03, no 02 (juin 1994) : 187–207. http://dx.doi.org/10.1142/s0218213094000108.
Texte intégralBernal, Dionisio, Martin D. Ulriksen et Esmaeil Memarzadeh. « Static constraints in direct model updating ». Mechanical Systems and Signal Processing 163 (janvier 2022) : 108170. http://dx.doi.org/10.1016/j.ymssp.2021.108170.
Texte intégralOlender, Kurt M., et Leon J. Osterweil. « Interprocedural static analysis of sequencing constraints ». ACM Transactions on Software Engineering and Methodology (TOSEM) 1, no 1 (2 janvier 1992) : 21–52. http://dx.doi.org/10.1145/125489.122822.
Texte intégralPan, Peng, Michael A. Peshkin, J. Edward Colgate et Kevin M. Lynch. « Static Single-Arm Force Generation With Kinematic Constraints ». Journal of Neurophysiology 93, no 5 (mai 2005) : 2752–65. http://dx.doi.org/10.1152/jn.00799.2004.
Texte intégralDuan, Qingjuan, Quanli Zhao et 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 (10 octobre 2022) : 920. http://dx.doi.org/10.3390/machines10100920.
Texte intégralWang, Ren, Jingxiang Gao, Nanshan Zheng, Zengke Li, Yifei Yao, Long Zhao et Yifan Wang. « Research on Accelerating Single-Frequency Precise Point Positioning Convergence with Atmospheric Constraint ». Applied Sciences 9, no 24 (10 décembre 2019) : 5407. http://dx.doi.org/10.3390/app9245407.
Texte intégralThèses sur le sujet "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.
Texte intégralThe 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.
Texte intégralAbbas, Abdullah. « Static analysis of semantic web queries with ShEx schema constraints ». Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM064/document.
Texte intégralData 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.
Texte intégralNiedert, 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.
Texte intégralKafle, 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.
Texte intégralModel 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.
Texte intégralLu, 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.
Texte intégralUngwattanapanit, Tanut [Verfasser], Horst [Akademischer Betreuer] Baier, Horst [Gutachter] Baier et 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.
Texte intégralSaglam, 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.
Texte intégralLivres sur le sujet "STATIC CONSTRAINTS"
Marlowe, Laura C. A Static Scheduler for critical timing constraints. Monterey, Calif : Naval Postgraduate School, 1988.
Trouver le texte intégralMarriages & families : Changes, choices, and constraints. 7e éd. Upper Saddle River, N.J : Pearson/Prentice Hall, 2011.
Trouver le texte intégralBenokraitis, Nijole V. Marriages and families : Changes, choices, and constraints. 5e éd. Upper Saddle River, NJ : Pearson, 2003.
Trouver le texte intégralMarriages and families : Changes, choices, and constraints. 2e éd. Upper Saddle River, N.J : Prentice Hall, 1996.
Trouver le texte intégralMarriages and families : Changes, choices and constraints. 3e éd. Upper Saddle River, NJ : Prentice Hall, 1999.
Trouver le texte intégralBenokraitis, Nijole V. Marriages and families : Changes, choices, and constraints. Englewood Cliffs, N.J : Prentice Hall, 1993.
Trouver le texte intégralBenokraitis, Nijole V. Marriages and families : Changes, choices, and constraints. 6e éd. Upper Saddle River, N.J : Pearson Education, 2007.
Trouver le texte intégralMarriages and families : Changes, choices, and constraints. 4e éd. Upper Saddle River, N.J : Prentice Hall, 2002.
Trouver le texte intégralSonority constraints on prosodic structure. New York : Garland Pub., 1994.
Trouver le texte intégralTomkovicz, James J. Criminal procedure : Constitutional constraints upon investigation and proof. 7e éd. New Providence, NJ : LexisNexis, 2012.
Trouver le texte intégralChapitres de livres sur le sujet "STATIC CONSTRAINTS"
Bakhirkin, Alexey, et David Monniaux. « Extending Constraint-Only Representation of Polyhedra with Boolean Constraints ». Dans Static Analysis, 127–45. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99725-4_10.
Texte intégralRehof, Jakob, et Torben Æ. Mogensen. « Tractable constraints in finite semilattices ». Dans Static Analysis, 285–300. Berlin, Heidelberg : Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_48.
Texte intégralvan Houtum, Geert-Jan, et Bram Kranenburg. « Static Repair Priorities ». Dans 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.
Texte intégralJackson, Daniel. « Enforcing Design Constraints with Object Logic ». Dans Static Analysis, 1–21. Berlin, Heidelberg : Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-540-45099-3_1.
Texte intégralLiu, Yanhong A., Ning Li et Scott D. Stoller. « Solving Regular Tree Grammar Based Constraints ». Dans Static Analysis, 213–33. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_13.
Texte intégralGlynn, Kevin, Peter J. Stuckey et Martin Sulzmann. « Effective Strictness Analysis with HORN Constraints ». Dans Static Analysis, 73–92. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_5.
Texte intégralFähndrich, Manuel, et Alexander Aiken. « Program analysis using mixed term and set constraints ». Dans Static Analysis, 114–26. Berlin, Heidelberg : Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0032737.
Texte intégralWolper, Pierre, et Bernard Boigelot. « An automata-theoretic approach to Presburger arithmetic constraints ». Dans Static Analysis, 21–32. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_30.
Texte intégralLarouci, C., J. P. Ferrieux, L. Gerbaud et J. Roudet. « Optimization under Constraints of Static Converters ». Dans Optimization and Inverse Problems in Electromagnetism, 295–302. Dordrecht : Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-017-2494-4_30.
Texte intégralRuggieri, Salvatore, et Fred Mesnard. « Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs ». Dans Static Analysis, 128–43. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-69166-2_9.
Texte intégralActes de conférences sur le sujet "STATIC CONSTRAINTS"
Ferris, John B. « Capturing Planer Tire Enveloping Properties Using Static Constraint Modes ». Dans ASME 2006 International Mechanical Engineering Congress and Exposition. ASMEDC, 2006. http://dx.doi.org/10.1115/imece2006-15260.
Texte intégralHeld, Stephan, Dirk Muller, Daniel Rotter, Vera Traub et Jens Vygen. « Global routing with inherent static timing constraints ». Dans 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2015. http://dx.doi.org/10.1109/iccad.2015.7372556.
Texte intégralDsouza, Ashvin. « Static analysis of deadends in SVA constraints ». Dans 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT). IEEE, 2010. http://dx.doi.org/10.1109/hldvt.2010.5496656.
Texte intégralCiraci, Selim, Pim van den Broek et Mehmet Aksit. « Graph-based verification of static program constraints ». Dans the 2010 ACM Symposium. New York, New York, USA : ACM Press, 2010. http://dx.doi.org/10.1145/1774088.1774561.
Texte intégralHuang, Shiqiang, Xiaoguang Gao et Jia Ren. « Static Bayesian Network Parameter Learning Using Constraints ». Dans 2011 International Workshop on Multi-Platform/Multi-Sensor Remote Sensing and Mapping (M2RSM). IEEE, 2011. http://dx.doi.org/10.1109/m2rsm.2011.5697401.
Texte intégralBo, Yang, Chunhe Xia, Yang Luo et Qing Tang. « Static Compliance Checking beyond Separation of Duty Constraints ». Dans 2014 Ninth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC). IEEE, 2014. http://dx.doi.org/10.1109/3pgcic.2014.53.
Texte intégralNadi, Sarah, Thorsten Berger, Christian Kästner et Krzysztof Czarnecki. « Mining configuration constraints : static analyses and empirical results ». Dans ICSE '14 : 36th International Conference on Software Engineering. New York, NY, USA : ACM, 2014. http://dx.doi.org/10.1145/2568225.2568283.
Texte intégralPeng Pan, K. M. Lynch, M. A. Peshkin et J. E. Colgate. « Static single-arm force generation with kinematic constraints ». Dans IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004. IEEE, 2004. http://dx.doi.org/10.1109/robot.2004.1307484.
Texte intégralKarpel, M., B. Moulin et M. Love. « Modal-based structural optimization with static aeroelastic and stress constraints ». Dans 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.
Texte intégralDerler, Patricia, et Stefan Resmerita. « Flexible Static Scheduling of Software with Logical Execution Time Constraints ». Dans 2010 IEEE 10th International Conference on Computer and Information Technology (CIT). IEEE, 2010. http://dx.doi.org/10.1109/cit.2010.301.
Texte intégralRapports d'organisations sur le sujet "STATIC CONSTRAINTS"
Cusbert, Tom. The Effect of Credit Constraints on Housing Prices : (Further) Evidence from a Survey Experiment. Reserve Bank of Australia, janvier 2023. http://dx.doi.org/10.47688/rdp2023-01.
Texte intégralMahmoudi, Mona, et Guillermo Sapiro. Constrained Localization in Static and Dynamic Sensor Networks (PREPRINT). Fort Belvoir, VA : Defense Technical Information Center, janvier 2006. http://dx.doi.org/10.21236/ada478415.
Texte intégralWoodford, Michael. Information-Constrained State-Dependent Pricing. Cambridge, MA : National Bureau of Economic Research, décembre 2008. http://dx.doi.org/10.3386/w14620.
Texte intégralMiller, Kyle, et Andrew Lohn. Onboard AI : Constraints and Limitations. Center for Security and Emerging Technology, août 2023. http://dx.doi.org/10.51593/2022ca008.
Texte intégralVargas-Riaño, Carmiña Ofelia, et Julian Parra-Polania. Relevance of the collateral constraint form in the analysis of financial crisis interventions. Banco de la República, janvier 2022. http://dx.doi.org/10.32468/be.1190.
Texte intégralMinaburo, A., L. Toutain et R. Andreasen. Static Context Header Compression (SCHC) for the Constrained Application Protocol (CoAP). RFC Editor, juin 2021. http://dx.doi.org/10.17487/rfc8824.
Texte intégralDayton, David C., Brian G. Southwell et Vikram Rao. Diversifying Energy Options in a Carbon-Constrained World. RTI Press, octobre 2021. http://dx.doi.org/10.3768/rtipress.2021.rb.0029.2110.
Texte intégralCaporuscio, Florie A., Michael C. Cheshire, Dennis L. Newell et Mary Kate McCarney. Status of LANL investigations of temperature constraints on clay in repository environments. Office of Scientific and Technical Information (OSTI), août 2012. http://dx.doi.org/10.2172/1049356.
Texte intégralSassani, David, Laura Price, Ralph Rogers, Walter Walkow, Ava Johnson et Amanda Sanchez. Update to Waste Form Performance Constraints and OWL Status and Inventory Content. Office of Scientific and Technical Information (OSTI), août 2017. http://dx.doi.org/10.2172/1762031.
Texte intégralWilkowski, G. M., D. Rudland, P. Mincer, B. Metrovich et 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), janvier 2005. http://dx.doi.org/10.55274/r0011772.
Texte intégral