Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Cameron Braun, Vinai Sirkay, Hugo Uriona, Srini W. Seetharam, Esmaell Yousefi, David W. Petr, Douglas Niehaus, Victor Frost, Joseph B. Evans, Gary J. Minden	A High Speed Implementation of Adaptive Shaping for Dynamic Bandwidth Allocation.	HPDC	1995	DBLP DOI BibTeX RDF	high speed implementation, adaptive shaping, static control mechanisms, adaptive rate control algorithm, burst size, high performance distributed systems, performance evaluation, protocols, asynchronous transfer mode, local area networks, local area network, ATM networks, dynamic bandwidth allocation
14	Didier Guillevic, Ching Y. Suen	Cursive script recognition applied to the processing of bank cheques.	ICDAR	1995	DBLP DOI BibTeX RDF	bank cheque processing, unconstrained handwritten word recognition, small static lexicon, psychological model, reading process, fast reader, handwritten bank cheques, unconstrained handwriting, unlimited writers, handwriting recognition, document image processing, word processing, computational theory, bank data processing, cheque processing, cursive script recognition
14	Josephine Micallef, Gail E. Kaiser	Extending Attribute Grammars to Support Programming-in-the-Large.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	attribute evaluation, include files, programming-in-the-many separate compilation, static semantics of programming languages, GRAMPS, attribute grammars, programming-in-the-large
14	Rajiv Gupta 0001	Synchronization and Communication Costs of Loop Partitioning on Shared-Memory Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	static loop scheduling, staticloop decomposition, computer-assisted run-time scheduling, multidimensional loops, operation execution costs, synchronization costs, programexecution, synchronization instruction, Encore multiprocessor system, scheduling, parallel algorithms, parallel programming, program compilers, programming theory, communication costs, nested loops, self-scheduling, shared-memory multiprocessor systems, loop partitioning, program decomposition
14	Saumya K. Debray, David Scott Warren	Towards Banishing the Cut from Prolog.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time
14	Dongyoung Lee, Heejin Yu, Joonbum Bae	Development of a Soft Semi-Active Suit Using Electro-Static Clutches for Assisting Static Holding Tasks.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
14	Takuya Mieno, Mitsuru Funakoshi	Data Structures for Computing Unique Palindromes in Static and Non-Static Strings.	Algorithmica	2024	DBLP DOI BibTeX RDF
14	Alexander Trautsch, Johannes Erbel, Steffen Herbold, Jens Grabowski	What really changes when developers intend to improve their source code: a commit-level study of static metric value and static analysis warning changes.	Empir. Softw. Eng.	2023	DBLP DOI BibTeX RDF
14	Mathias Stolpe, Nicolò Pollini	A first-order equivalent static loads algorithm for optimization of nonlinear static response.	Adv. Eng. Softw.	2023	DBLP DOI BibTeX RDF
14	Georgios Liargkovas, Evangelia Panourgia, Diomidis Spinellis	Quieting the Static: A Study of Static Analysis Alert Suppressions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma 0001	StaticFixer: From Static Analysis to Static Repair.	CoRR	2023	DBLP DOI BibTeX RDF
14	Vipul Shukla, V. Mukherjee 0001, Bindeshwar Singh	Integration of distributed generations and static var compensators with static synchronous compensators to reduce power losses.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
14	Sakshi Garg 0001, Deepti Mehrotra, Hari Mohan Pandey, Sujata Pandey	Correction: Static to dynamic transition of RPL protocol from IoT to IoV in static and mobile environments.	Clust. Comput.	2023	DBLP DOI BibTeX RDF
14	Sakshi Garg 0001, Deepti Mehrotra, Hari Mohan Pandey, Sujata Pandey	Static to dynamic transition of RPL protocol from IoT to IoV in static and mobile environments.	Clust. Comput.	2023	DBLP DOI BibTeX RDF
14	Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella	Unconstrained Variable Oracles for Faster Numeric Static Analyses.	SAS	2023	DBLP DOI BibTeX RDF
14	Shangtong Cao, Ningyu He, Yao Guo 0001, Haoyu Wang 0001	BREWasm: A General Static Binary Rewriting Framework for WebAssembly.	SAS	2023	DBLP DOI BibTeX RDF
14	Fanxing Li, Gang Lin, Xiaoqiang Lu, Lei Song	Enhancement of Insensitivity for Pitot-Static Probe by Static-Pressure Orifices Optimization.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
14	Jihyeok Park, Seungmin An, Sukyoung Ryu	Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis.	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
14	Aditya Anand 0002, Manas Thakur	Principles of Staged Static+Dynamic Partial Analysis.	SAS	2022	DBLP DOI BibTeX RDF
14	Jun-Hyeok Song, Eun-Taik Lee, Hee-Chang Eun	Optimal sensor placement through expansion of static strain measurements to static displacements.	Int. J. Distributed Sens. Networks	2021	DBLP DOI BibTeX RDF
14	Georgios Karantaidis, Constantine Kotropoulos	An Automated Approach for Electric Network Frequency Estimation in Static and Non-Static Digital Video Recordings.	J. Imaging	2021	DBLP DOI BibTeX RDF
14	David Delmas, Abdelraouf Ouadjaout, Antoine Miné	Static Analysis of Endian Portability by Abstract Interpretation.	SAS	2021	DBLP DOI BibTeX RDF
14	Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan 0001	Static Analysis of ReLU Neural Networks with Tropical Polyhedra.	SAS	2021	DBLP DOI BibTeX RDF
14	Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné	A Multilanguage Static Analysis of Python Programs with Native C Extensions.	SAS	2021	DBLP DOI BibTeX RDF
14	Alexander Trautsch, Steffen Herbold, Jens Grabowski	Static source code metrics and static analysis warnings for fine-grained just-in-time defect prediction.	ICSME	2020	DBLP DOI BibTeX RDF
14	Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue	Static Analysis and Stochastic Search for Reachability Problem.	SASB	2020	DBLP DOI BibTeX RDF
14	Abdelraouf Ouadjaout, Antoine Miné	A Library Modeling Language for the Static Analysis of C Programs.	SAS	2020	DBLP DOI BibTeX RDF
14	Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano	Static Resource Analysis at Scale (Extended Abstract).	SAS	2020	DBLP DOI BibTeX RDF
14	Samuele Buro, Roy L. Crole, Isabella Mastroeni	On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs.	SAS	2020	DBLP DOI BibTeX RDF
14	Mahesh Kumar, Bhagwan Das, Mazhar Hussain Baloch, Perumal Nallagownden, Irraivan Elamvazuthi, Abid Ali 0003	Optimal Placement and Sizing of Distributed Generators and Distributed-Static Compensator in Radial Distribution System: Distributed Generators and Distributed-Static Compensator.	Int. J. Energy Optim. Eng.	2019	DBLP DOI BibTeX RDF
14	Natakorn Thasnas, Apirat Siritaratiwat	Implementation of Static Line Voltage Stability Indices for Improved Static Voltage Stability Margin.	J. Electr. Comput. Eng.	2019	DBLP DOI BibTeX RDF
14		A Note on the Static-Static Key Agreement Protocol from Supersingular Isogenies.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
14	Thomas Ball, Peli de Halleux, Michal Moskal	Static TypeScript: an implementation of a static compiler for the TypeScript language.	MPLR	2019	DBLP DOI BibTeX RDF
14	Marcus Völker, Stefan Kowalewski	A Change-Based Heuristic for Static Analysis with Policy Iteration.	SAS	2019	DBLP DOI BibTeX RDF
14	Caterina Urban	Static Analysis of Data Science Software.	SAS	2019	DBLP DOI BibTeX RDF
14	Mayur Naik	Rethinking Static Analysis by Combining Discrete and Continuous Reasoning.	SAS	2019	DBLP DOI BibTeX RDF
14	Larisa A. Dobryakova, Lukasz S. Lemieszewski, Evgeny F. Ochin	GNSS Spoofing Detection Using Static or Rotating Single-Antenna of a Static or Moving Victim.	IEEE Access	2018	DBLP DOI BibTeX RDF
14	Naomi Okamura, Ritaro Kasai, Yo Kobayashi, Shigeki Sugano, Masakatsu G. Fujie	Investigation of Effective Intensity of Static Stretching Exercise Based on Spring-Pot Viscoelastic Model: Intensity Based on Maximum Tolerance Joint Torque Affects Viscoelastic Ratio of Muscle During Static Stretching.	RCAR	2018	DBLP DOI BibTeX RDF
14	Eric Bodden	The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them).	ISSTA/ECOOP Workshops	2018	DBLP DOI BibTeX RDF
14	Liyi Li 0002, Elsa L. Gunter	IsaK-Static: A Complete Static Semantics of \mathbb K.	FACS	2018	DBLP DOI BibTeX RDF
14	Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson	Process-Local Static Analysis of Synchronous Processes.	SAS	2018	DBLP DOI BibTeX RDF
14	Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout	Modular Static Analysis of String Manipulations in C Programs.	SAS	2018	DBLP DOI BibTeX RDF
14	Kedar S. Namjoshi, Zvonimir Pavlinovic	The Impact of Program Transformations on Static Program Analysis.	SAS	2018	DBLP DOI BibTeX RDF
14	Hui Feng 0003, Xiangyang Cui, Guangyao Li	A stable nodal integration method for static and quasi-static electromagnetic field computation.	J. Comput. Phys.	2017	DBLP DOI BibTeX RDF
14	Reza Azarderakhsh, David Jao, Christopher Leonardi	Post-Quantum Static-Static Key Agreement Using Multiple Protocol Instances.	SAC	2017	DBLP DOI BibTeX RDF
14	Vladimir Malyj	Modeling of Surveillance Zones for Bi-static and Multi-static Active Sonars with the Use of Geographic Information Systems.	IF&GIS	2017	DBLP DOI BibTeX RDF
14	Sunbeom So, Hakjoo Oh	Synthesizing Imperative Programs from Examples Guided by Static Analysis.	SAS	2017	DBLP DOI BibTeX RDF
14	Abdelraouf Ouadjaout, Antoine Miné	Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains.	SAS	2017	DBLP DOI BibTeX RDF
14	Mahdieh Sadat Sadabadi, Dimitri Peaucelle	From static output feedback to structured robust static output feedback: A survey.	Annu. Rev. Control.	2016	DBLP DOI BibTeX RDF
14	Fady Abouzeid, Christophe Bernicot, Sylvain Clerc, Jean-Marc Daveau, Gilles Gasiot, Daniel Noblet, Dimitri Soussan, Philippe Roche	30% static power improvement on ARM Cortex®-A53 using static biasing-anticipation.	ESSCIRC	2016	DBLP DOI BibTeX RDF
14	Kihong Heo, Hakjoo Oh, Hongseok Yang	Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis.	SAS	2016	DBLP DOI BibTeX RDF
14	Matthieu Journault, Antoine Miné	Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.	SAS	2016	DBLP DOI BibTeX RDF
14	Fausto Spoto	The Julia Static Analyzer for Java.	SAS	2016	DBLP DOI BibTeX RDF
14	Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon	Static Analysis with Set-Closure in Secrecy.	SAS	2015	DBLP DOI BibTeX RDF
14	Peter Aldous, Matthew Might	Static Analysis of Non-interference in Expressive Low-Level Languages.	SAS	2015	DBLP DOI BibTeX RDF
14	Ran Liu 0007, Andreas Zell	Toward Localizing both Static and Non-static RFID Tags with a Mobile Robot.	IAS	2014	DBLP DOI BibTeX RDF
14	Karim Moussa Ali Abdellatif	Authenticated Encryption on FPGAs from the Reconfigurable Part to the Static Part. (Chiffrement authentifié sur FPGAs de la partie reconfigurable à la partie static).		2014	RDF
14	Woosuk Lee, Hakjoo Oh, Kwangkeun Yi	A Progress Bar for Static Analyzers.	SAS	2014	DBLP DOI BibTeX RDF
14	Frédéric Besson, Thomas P. Jensen, Pierre Vittet	SawjaCard: A Static Analysis Tool for Certifying Java Card Applications.	SAS	2014	DBLP DOI BibTeX RDF
14	José Luis Merino, Sebastià Antoni Bota, Rodrigo Picos, Jaume Segura 0001	Alternate characterization technique for static random-access memory static noise margin determination.	Int. J. Circuit Theory Appl.	2013	DBLP DOI BibTeX RDF
14	Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich	A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
14	Johan Ersfolk, Ghislain Roquier, Wictor Lund, Marco Mattavelli, Johan Lilius	Static and quasi-static compositions of stream processing applications from dynamic dataflow programs.	ICASSP	2013	DBLP DOI BibTeX RDF
14	Jen-Suh Chern, Hsuan-Sung Chang, Chi-Wen Long, Ching-Yi Wu, Simon F. D. Tang	Static ankle-foot orthosis improves static balance and gait functions in hemiplegic patients after stroke.	EMBC	2013	DBLP DOI BibTeX RDF
14	Jorge Perez, Santiago Cóbreces, Francisco J. Rodríguez 0001, Emilio José Bueno, Ines Sanz, Francisco Huerta 0001, Robert Griñó	Static reference frame LQR optimal state-feedback control for static-series compensators.	IECON	2013	DBLP DOI BibTeX RDF
14	Shixiang Gao, Tao Zheng, Xun Zhan, XianPing Tao, Qiaoming Zhu, Junyuan Xie, Wenyang Bai	A Static Recognition Mechanism for Indirect Call Based on Static Single Assignment.	ICPCA/SWS	2013	DBLP DOI BibTeX RDF
14	Hyunha Kim, Kyung-Goo Doh, David A. Schmidt	Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing.	SAS	2013	DBLP DOI BibTeX RDF
14	Rupak Majumdar, Roland Meyer 0001, Zilong Wang 0004	Static Provenance Verification for Message Passing Programs.	SAS	2013	DBLP DOI BibTeX RDF
14	Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang	Symbolic Automata for Static Specification Mining.	SAS	2013	DBLP DOI BibTeX RDF
14	Sriram Sankaranarayanan 0001	Static Analysis in the Continuously Changing World.	SAS	2013	DBLP DOI BibTeX RDF
14	Eric Goubault	Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT.	SAS	2013	DBLP DOI BibTeX RDF
14	Jianfeng Lu, Ruixuan Li 0001, Jinwei Hu, Dewu Xu	Static Enforcement of Static Separation-of-Duty Policies in Usage Control Authorization Models.	IEICE Trans. Commun.	2012	DBLP DOI BibTeX RDF
14	Nobutaka Kimura, Keisuke Fujimoto, Toshio Moriya	Real-Time Updating of 2D Map for Autonomous Robot Locomotion Based on Distinction Between Static and Semi-Static Objects.	Adv. Robotics	2012	DBLP DOI BibTeX RDF
14	Ali Shoker	Byzantine Fault Tolerance: From Static Selection To Dynamic Switching. (Byzantine Fault Tolerance: From Static Selection To Dynamic Switching).		2012	RDF
14	Eric Goubault, Sylvie Putot, Franck Védrine	Modular Static Analysis with Zonotopes.	SAS	2012	DBLP DOI BibTeX RDF
14	Vijay Victor D'Silva, Leopold Haller, Daniel Kroening	Satisfiability Solvers Are Static Analysers.	SAS	2012	DBLP DOI BibTeX RDF
14	Jonathan C. Herzog, Roger Khazan	Use of Static-Static Elliptic Curve Diffie-Hellman Key Agreement in Cryptographic Message Syntax.	RFC	2011	DBLP DOI BibTeX RDF
14	Loïc Paulevé, Adrien Richard	Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey.	SASB	2011	DBLP DOI BibTeX RDF
14	Jeff Huang 0001, Charles Zhang 0001	An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs.	SAS	2011	DBLP DOI BibTeX RDF
14	Matthew Might, David Van Horn	A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs.	SAS	2011	DBLP DOI BibTeX RDF
14	Chris Wysopal, Chris Eng, Tyler Shields	Static detection of application backdoors - Detecting both malicious software behavior and malicious indicators from the static analysis of executable code.	Datenschutz und Datensicherheit	2010	DBLP DOI BibTeX RDF
14	Stefan Hanenberg	An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time.	OOPSLA	2010	DBLP DOI BibTeX RDF
14	David Lesens	Using Static Analysis in Space: Why Doing so?	SAS	2010	DBLP DOI BibTeX RDF
14	Isil Dillig, Thomas Dillig, Alex Aiken	Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.	SAS	2010	DBLP DOI BibTeX RDF
14	Manuel Fähndrich	Static Verification for Code Contracts.	SAS	2010	DBLP DOI BibTeX RDF
14	David Monniaux	Analyse statique : de la théorie à la pratique ; analyse statique de code embarqué de grande taille, génération de domaines abstraits. (Static analysis: from theory to practice ; Static analysis of large-scale embedded code, generation of abstract domains).		2009	RDF
14	Daewon Kim, Ikkyun Kim, Jintae Oh, Hyunsook Cho	Lightweight Static Analysis to Detect Polymorphic Exploit Code with Static Analysis Resistant Technique.	ICC	2009	DBLP DOI BibTeX RDF
14	Nazrul Anuar, Yasuhiro Takahashi, Toshikazu Sekine	4-bit ripple carry adder of two-phase clocked adiabatic static CMOS logic: A comparison with static CMOS.	ECCTD	2009	DBLP DOI BibTeX RDF
14	Hartinder Singh Johal	Traffic Engineering in Static Routing Using Multiple Static Route Configuration Scheme.	CAINE	2009	DBLP BibTeX RDF
14	Sukumar Reddy Anapalli, Krishna Chaithanya Chakilam, Timothy W. O'Neil	Static Scheduling for Cyclo Static Data Flow Graphs.	PDPTA	2009	DBLP BibTeX RDF
14	Kyung-Goo Doh, Hyunha Kim, David A. Schmidt	Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.	SAS	2009	DBLP DOI BibTeX RDF
14	Damianos Gavalas, Grammati E. Pantziou, Charalampos Konstantopoulos, Basilis Mamalis	ABP: a low-cost, energy-efficient clustering algorithm for relatively static and quasi-static MANETs.	Int. J. Sens. Networks	2008	DBLP DOI BibTeX RDF
14	B. Chung, J. B. Kuo	Gate-level dual-threshold static power optimization methodology (GDSPOM) using path-based static timing analysis (STA) technique for SOC application.	Integr.	2008	DBLP DOI BibTeX RDF
14	Jörg Bauer 0001, Reinhard Wilhelm	Static Analysis of Dynamic Communication Systems by Partner Abstraction.	SAS	2007	DBLP DOI BibTeX RDF
14	Christian Kirkegaard, Anders Møller	Static Analysis for Java Servlets and JSP.	SAS	2006	DBLP DOI BibTeX RDF
14	Hugo Rodríguez, Alessandro Astolfi, Romeo Ortega	On the construction of static stabilizers and static output trackers for dynamically linearizable systems, related results and applications.	CDC	2004	DBLP DOI BibTeX RDF
14	Yutao Hu, Kartikeya Mayaram	A comparison of non-quasi-static and quasi-static harmonic balance implementations for coupled device and circuit simulation.	CICC	2003	DBLP DOI BibTeX RDF
14	Stephen Chong, Radu Rugina	Static Analysis of Accessed Regions in Recursive Data Structures.	SAS	2003	DBLP DOI BibTeX RDF
14	Damien Massé	Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties.	SAS	2002	DBLP DOI BibTeX RDF
14	Javier Esparza	An Algebraic Approach to the Static Analysis of Concurrent Software.	SAS	2002	DBLP DOI BibTeX RDF
14	Thomas W. Reps	Static Program Analysis via 3-Valued Logic.	SAS	2002	DBLP DOI BibTeX RDF