Literatura académica sobre el tema "STATIC CONSTRAINTS"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "STATIC CONSTRAINTS".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "STATIC CONSTRAINTS"
Eun, Hee-Chang, Eun-Taik Lee y Heon-Soo Chung. "On the static analysis of constrained structural systems". Canadian Journal of Civil Engineering 31, n.º 6 (1 de diciembre de 2004): 1119–22. http://dx.doi.org/10.1139/l04-036.
Texto completoMrzygłód, M. "Multi-constrained topology optimization using constant criterion surface algorithm". Bulletin of the Polish Academy of Sciences: Technical Sciences 60, n.º 2 (1 de octubre de 2012): 229–36. http://dx.doi.org/10.2478/v10175-012-0030-9.
Texto completoChristopher Cruz, Arnold y Ahmad Bani Younes. "Common Frame Dynamics for Conically-Constrained Spacecraft Attitude Control". Sensors 22, n.º 24 (19 de diciembre de 2022): 10003. http://dx.doi.org/10.3390/s222410003.
Texto completoGosain, Anjana y Kavita Sachdeva. "Handling Constraints Using Penalty Functions in Materialized View Selection". International Journal of Natural Computing Research 8, n.º 2 (abril de 2019): 1–17. http://dx.doi.org/10.4018/ijncr.2019040101.
Texto completoSCHIEX, THOMAS y GÉRARD VERFAILLIE. "NOGOOD RECORDING FOR STATIC AND DYNAMIC CONSTRAINT SATISFACTION PROBLEMS". International Journal on Artificial Intelligence Tools 03, n.º 02 (junio de 1994): 187–207. http://dx.doi.org/10.1142/s0218213094000108.
Texto completoBernal, Dionisio, Martin D. Ulriksen y Esmaeil Memarzadeh. "Static constraints in direct model updating". Mechanical Systems and Signal Processing 163 (enero de 2022): 108170. http://dx.doi.org/10.1016/j.ymssp.2021.108170.
Texto completoOlender, Kurt M. y Leon J. Osterweil. "Interprocedural static analysis of sequencing constraints". ACM Transactions on Software Engineering and Methodology (TOSEM) 1, n.º 1 (2 de enero de 1992): 21–52. http://dx.doi.org/10.1145/125489.122822.
Texto completoPan, Peng, Michael A. Peshkin, J. Edward Colgate y Kevin M. Lynch. "Static Single-Arm Force Generation With Kinematic Constraints". Journal of Neurophysiology 93, n.º 5 (mayo de 2005): 2752–65. http://dx.doi.org/10.1152/jn.00799.2004.
Texto completoDuan, Qingjuan, Quanli Zhao y Tianle Wang. "Consistent Solution Strategy for Static Equilibrium Workspace and Trajectory Planning of Under-Constrained Cable-Driven Parallel and Planar Hybrid Robots". Machines 10, n.º 10 (10 de octubre de 2022): 920. http://dx.doi.org/10.3390/machines10100920.
Texto completoWang, Ren, Jingxiang Gao, Nanshan Zheng, Zengke Li, Yifei Yao, Long Zhao y Yifan Wang. "Research on Accelerating Single-Frequency Precise Point Positioning Convergence with Atmospheric Constraint". Applied Sciences 9, n.º 24 (10 de diciembre de 2019): 5407. http://dx.doi.org/10.3390/app9245407.
Texto completoTesis sobre el tema "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.
Texto completoThe 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.
Texto completoAbbas, Abdullah. "Static analysis of semantic web queries with ShEx schema constraints". Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM064/document.
Texto completoData 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.
Texto completoNiedert, 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.
Texto completoKafle, 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.
Texto completoModel 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.
Texto completoLu, 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.
Texto completoUngwattanapanit, Tanut [Verfasser], Horst [Akademischer Betreuer] Baier, Horst [Gutachter] Baier y 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.
Texto completoSaglam, 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.
Texto completoLibros sobre el tema "STATIC CONSTRAINTS"
Marlowe, Laura C. A Static Scheduler for critical timing constraints. Monterey, Calif: Naval Postgraduate School, 1988.
Buscar texto completoMarriages & families: Changes, choices, and constraints. 7a ed. Upper Saddle River, N.J: Pearson/Prentice Hall, 2011.
Buscar texto completoBenokraitis, Nijole V. Marriages and families: Changes, choices, and constraints. 5a ed. Upper Saddle River, NJ: Pearson, 2003.
Buscar texto completoMarriages and families: Changes, choices, and constraints. 2a ed. Upper Saddle River, N.J: Prentice Hall, 1996.
Buscar texto completoMarriages and families: Changes, choices and constraints. 3a ed. Upper Saddle River, NJ: Prentice Hall, 1999.
Buscar texto completoBenokraitis, Nijole V. Marriages and families: Changes, choices, and constraints. Englewood Cliffs, N.J: Prentice Hall, 1993.
Buscar texto completoBenokraitis, Nijole V. Marriages and families: Changes, choices, and constraints. 6a ed. Upper Saddle River, N.J: Pearson Education, 2007.
Buscar texto completoMarriages and families: Changes, choices, and constraints. 4a ed. Upper Saddle River, N.J: Prentice Hall, 2002.
Buscar texto completoTomkovicz, James J. Criminal procedure: Constitutional constraints upon investigation and proof. 7a ed. New Providence, NJ: LexisNexis, 2012.
Buscar texto completoCapítulos de libros sobre el tema "STATIC CONSTRAINTS"
Bakhirkin, Alexey y David Monniaux. "Extending Constraint-Only Representation of Polyhedra with Boolean Constraints". En Static Analysis, 127–45. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99725-4_10.
Texto completoRehof, Jakob y Torben Æ. Mogensen. "Tractable constraints in finite semilattices". En Static Analysis, 285–300. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_48.
Texto completovan Houtum, Geert-Jan y Bram Kranenburg. "Static Repair Priorities". En 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.
Texto completoJackson, Daniel. "Enforcing Design Constraints with Object Logic". En Static Analysis, 1–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-540-45099-3_1.
Texto completoLiu, Yanhong A., Ning Li y Scott D. Stoller. "Solving Regular Tree Grammar Based Constraints". En Static Analysis, 213–33. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_13.
Texto completoGlynn, Kevin, Peter J. Stuckey y Martin Sulzmann. "Effective Strictness Analysis with HORN Constraints". En Static Analysis, 73–92. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_5.
Texto completoFähndrich, Manuel y Alexander Aiken. "Program analysis using mixed term and set constraints". En Static Analysis, 114–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0032737.
Texto completoWolper, Pierre y Bernard Boigelot. "An automata-theoretic approach to Presburger arithmetic constraints". En Static Analysis, 21–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_30.
Texto completoLarouci, C., J. P. Ferrieux, L. Gerbaud y J. Roudet. "Optimization under Constraints of Static Converters". En Optimization and Inverse Problems in Electromagnetism, 295–302. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-017-2494-4_30.
Texto completoRuggieri, Salvatore y Fred Mesnard. "Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs". En Static Analysis, 128–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-69166-2_9.
Texto completoActas de conferencias sobre el tema "STATIC CONSTRAINTS"
Ferris, John B. "Capturing Planer Tire Enveloping Properties Using Static Constraint Modes". En ASME 2006 International Mechanical Engineering Congress and Exposition. ASMEDC, 2006. http://dx.doi.org/10.1115/imece2006-15260.
Texto completoHeld, Stephan, Dirk Muller, Daniel Rotter, Vera Traub y Jens Vygen. "Global routing with inherent static timing constraints". En 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2015. http://dx.doi.org/10.1109/iccad.2015.7372556.
Texto completoDsouza, Ashvin. "Static analysis of deadends in SVA constraints". En 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT). IEEE, 2010. http://dx.doi.org/10.1109/hldvt.2010.5496656.
Texto completoCiraci, Selim, Pim van den Broek y Mehmet Aksit. "Graph-based verification of static program constraints". En the 2010 ACM Symposium. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1774088.1774561.
Texto completoHuang, Shiqiang, Xiaoguang Gao y Jia Ren. "Static Bayesian Network Parameter Learning Using Constraints". En 2011 International Workshop on Multi-Platform/Multi-Sensor Remote Sensing and Mapping (M2RSM). IEEE, 2011. http://dx.doi.org/10.1109/m2rsm.2011.5697401.
Texto completoBo, Yang, Chunhe Xia, Yang Luo y Qing Tang. "Static Compliance Checking beyond Separation of Duty Constraints". En 2014 Ninth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC). IEEE, 2014. http://dx.doi.org/10.1109/3pgcic.2014.53.
Texto completoNadi, Sarah, Thorsten Berger, Christian Kästner y Krzysztof Czarnecki. "Mining configuration constraints: static analyses and empirical results". En ICSE '14: 36th International Conference on Software Engineering. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2568225.2568283.
Texto completoPeng Pan, K. M. Lynch, M. A. Peshkin y J. E. Colgate. "Static single-arm force generation with kinematic constraints". En IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004. IEEE, 2004. http://dx.doi.org/10.1109/robot.2004.1307484.
Texto completoKarpel, M., B. Moulin y M. Love. "Modal-based structural optimization with static aeroelastic and stress constraints". En 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.
Texto completoDerler, Patricia y Stefan Resmerita. "Flexible Static Scheduling of Software with Logical Execution Time Constraints". En 2010 IEEE 10th International Conference on Computer and Information Technology (CIT). IEEE, 2010. http://dx.doi.org/10.1109/cit.2010.301.
Texto completoInformes sobre el tema "STATIC CONSTRAINTS"
Cusbert, Tom. The Effect of Credit Constraints on Housing Prices: (Further) Evidence from a Survey Experiment. Reserve Bank of Australia, enero de 2023. http://dx.doi.org/10.47688/rdp2023-01.
Texto completoMahmoudi, Mona y Guillermo Sapiro. Constrained Localization in Static and Dynamic Sensor Networks (PREPRINT). Fort Belvoir, VA: Defense Technical Information Center, enero de 2006. http://dx.doi.org/10.21236/ada478415.
Texto completoWoodford, Michael. Information-Constrained State-Dependent Pricing. Cambridge, MA: National Bureau of Economic Research, diciembre de 2008. http://dx.doi.org/10.3386/w14620.
Texto completoMiller, Kyle y Andrew Lohn. Onboard AI: Constraints and Limitations. Center for Security and Emerging Technology, agosto de 2023. http://dx.doi.org/10.51593/2022ca008.
Texto completoVargas-Riaño, Carmiña Ofelia y Julian Parra-Polania. Relevance of the collateral constraint form in the analysis of financial crisis interventions. Banco de la República, enero de 2022. http://dx.doi.org/10.32468/be.1190.
Texto completoMinaburo, A., L. Toutain y R. Andreasen. Static Context Header Compression (SCHC) for the Constrained Application Protocol (CoAP). RFC Editor, junio de 2021. http://dx.doi.org/10.17487/rfc8824.
Texto completoDayton, David C., Brian G. Southwell y Vikram Rao. Diversifying Energy Options in a Carbon-Constrained World. RTI Press, octubre de 2021. http://dx.doi.org/10.3768/rtipress.2021.rb.0029.2110.
Texto completoCaporuscio, Florie A., Michael C. Cheshire, Dennis L. Newell y Mary Kate McCarney. Status of LANL investigations of temperature constraints on clay in repository environments. Office of Scientific and Technical Information (OSTI), agosto de 2012. http://dx.doi.org/10.2172/1049356.
Texto completoSassani, David, Laura Price, Ralph Rogers, Walter Walkow, Ava Johnson y Amanda Sanchez. Update to Waste Form Performance Constraints and OWL Status and Inventory Content. Office of Scientific and Technical Information (OSTI), agosto de 2017. http://dx.doi.org/10.2172/1762031.
Texto completoWilkowski, G. M., D. Rudland, P. Mincer, B. Metrovich y 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), enero de 2005. http://dx.doi.org/10.55274/r0011772.
Texto completo