Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks 0001, Vibha Sazawal	Path projection for user-centered static analysis tools.	PASTE	2008	DBLP DOI BibTeX RDF
15	Gabor Kosa, Peter Jakab, Ferenc A. Jolesz, Nobuhiko Hata	Swimming capsule endoscope using static and RF magnetic field of MRI for propulsion.	ICRA	2008	DBLP DOI BibTeX RDF
15	Thomas Bonnemains, Helene Chanal, Chedli B. Bouzgarrou, Pascal Ray	Definition of a new static model of Parallel Kinematic Machines: Highlighting of overconstraint influence.	IROS	2008	DBLP DOI BibTeX RDF
15	Juan Chen 0001, Yong Dong, Xuejun Yang, Panfeng Wang	Energy-Constrained OpenMP Static Loop Scheduling.	HPCC	2008	DBLP DOI BibTeX RDF
15	Eunjung Yang, Joohwan Chun	Frequency offset estimation for multi-static radar system.	ICASSP	2008	DBLP DOI BibTeX RDF
15	Esther M. Arkin, Joseph S. B. Mitchell, Valentin Polishchuk	Maximum thick paths in static and dynamic environments.	SCG	2008	DBLP DOI BibTeX RDF	approximation algorithms, motion planning
15	Bernhard Fechner, Udo Hönig, Jörg Keller 0001, Wolfram Schiffmann	Fault-tolerant static scheduling for grids.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Yijia Zhao, Mauricio Casares, Senem Velipasalar	Continuous Background Update and Object Detection with Non-static Cameras.	AVSS	2008	DBLP DOI BibTeX RDF
15	Benny Akesson, Liesbeth Steffens, Eelke Strooisma, Kees Goossens	Real-Time Scheduling Using Credit-Controlled Static-Priority Arbitration.	RTCSA	2008	DBLP DOI BibTeX RDF
15	René Wörzberger, Nicolas Ehses, Thomas Heer	Adding Support for Dynamics Patterns to Static Business Process Management Systems.	SC@ETAPS	2008	DBLP DOI BibTeX RDF
15	Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han	Detecting Java Theft Based on Static API Trace Birthmark.	IWSEC	2008	DBLP DOI BibTeX RDF
15	Charbel J. Akl, Magdy A. Bayoumi	Feedback-Switch Logic (FSL): A High-Speed Low-Power Differential Dynamic-Like Static CMOS Circuit Family.	ISQED	2008	DBLP DOI BibTeX RDF	circuit family, low-power, high-speed
15	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Static and dynamic typing for the termination of mobile processes.	IFIP TCS	2008	DBLP DOI BibTeX RDF
15	Rajeev Kumar, Soham Sundar Chakraborty	Precise static type analysis for object oriented programs.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	message dispatch, object-oriented programming, program analysis, type system, type analysis
15	Chen Yang, Frank K. Soong, Tan Lee	Static and Dynamic Spectral Features: Their Noise Robustness and Optimal Weights for ASR.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
15	Drazen Brscic, Hideki Hashimoto	Map building and object tracking inside Intelligent Spaces using static and mobile sensors.	IROS	2007	DBLP DOI BibTeX RDF
15	Rui Huang, Gergely V. Záruba	Static Path Planning for Mobile Beacons to Localize Sensor Networks.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
15	Fatih Porikli	Detection of temporarily static regions by processing video at different frame rates.	AVSS	2007	DBLP DOI BibTeX RDF
15	Bastian Schlich, Jann Löll, Stefan Kowalewski	Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.	FMICS	2007	DBLP DOI BibTeX RDF
15	Yannis Smaragdakis, Christoph Csallner	Combining Static and Dynamic Reasoning for Bug Detection.	TAP	2007	DBLP DOI BibTeX RDF
15	Zonghua Gu 0001, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He 0001, Qingxu Deng, Ge Yu 0001	Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.	RTSS	2007	DBLP DOI BibTeX RDF
15	Zonghua Gu 0001, Mingxuan Yuan, Xiuqiang He 0001	Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
15	Shun Li, Feng Zhou, Chunhong Chen, Hua Chen, Yipin Wu	Quasi-Static Energy Recovery Logic with Single Power-Clock Supply.	ISCAS	2007	DBLP DOI BibTeX RDF
15	Hayden Melton, Ewan D. Tempero	Static Members and Cycles in Java Software.	ESEM	2007	DBLP DOI BibTeX RDF
15	Sarah Smith Heckman	Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts.	ICSE Companion	2007	DBLP DOI BibTeX RDF
15	Paolina Centonze, Robert J. Flynn, Marco Pistoia	Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies.	ACSAC	2007	DBLP DOI BibTeX RDF
15	Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit	Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs.	DAC	2007	DBLP DOI BibTeX RDF
15	Kamran Sartipi, Lingdong Ye, Hossein Safyallah	Alborz: An Interactive Toolkit to Extract Static and Dynamic Views of a Software System.	ICPC	2006	DBLP DOI BibTeX RDF
15	David A. Schmidt	Comparing Completeness Properties of Static Analyses and Their Logics.	APLAS	2006	DBLP DOI BibTeX RDF
15	Ricardo A. Baeza-Yates, Álvaro R. Pereira Jr., Nivio Ziviani	Understanding Content Reuse on the Web: Static and Dynamic Analyses.	WEBKDD	2006	DBLP DOI BibTeX RDF
15	Ashish Aggarwal, Pankaj Jalote	Integrating Static and Dynamic Analysis for Detecting Vulnerabilities.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
15	T. A. Gyonjyan, Gurgen Harutunyan, Valery A. Vardanian	A March-Based Algorithm for Location and Full Diagnosis of All Unlinked Static Faults.	MTDT	2006	DBLP DOI BibTeX RDF
15	Jaesoo Lee, Jiyong Park, Seongsoo Hong	Memory Footprint Reduction with Quasi-Static Shared Libraries in MMU-less Embedded Systems.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
15	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck	Static and Dynamic Structural Symmetry Breaking.	CP	2006	DBLP DOI BibTeX RDF
15	Mithun Acharya, Tanu Sharma, Jun Xu 0003, Tao Xie 0001	Effective Generation of Interface Robustness Properties for Static Analysis.	ASE	2006	DBLP DOI BibTeX RDF
15	Gurgen Harutunyan, Valery A. Vardanian, Yervant Zorian	Minimal March Test Algorithm for Detection of Linked Static Faults in Random Access Memories.	VTS	2006	DBLP DOI BibTeX RDF
15	Jayashree Sridharan, Tom Chen 0001	Gate Delay Modeling with Multiple Input Switching for Static (Statistical) Timing Analysis.	VLSI Design	2006	DBLP DOI BibTeX RDF
15	Dana N. Xu	Extended static checking for haskell.	Haskell	2006	DBLP DOI BibTeX RDF	counterexample guided unrolling, pre/postcondition, symbolic simplification
15	Michal Lentner, Krzysztof Stencel, Kazimierz Subieta	Semi-strong Static Type Checking of Object-Oriented Query Languages.	SOFSEM	2006	DBLP DOI BibTeX RDF
15	Sojung Park, Minhwan Kim	Extracting Moving / Static Objects of Interest in Video.	PCM	2006	DBLP DOI BibTeX RDF	object of interest, visual attention, content-based video retrieval
15	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks 0001	Existential Label Flow Inference Via CFL Reachability.	SAS	2006	DBLP DOI BibTeX RDF
15	Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Applying Static WCET Analysis to Automotive Communication Software.	ECRTS	2005	DBLP DOI BibTeX RDF
15	Rosa Maria Valdovinos, José Salvador Sánchez 0001, Ricardo Barandela	Dynamic and Static Weighting in Classifier Fusion.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
15	Isao Yagi, Yoshiaki Takata, Hiroyuki Seki	A Static Analysis Using Tree Automata for XML Access Control.	ATVA	2005	DBLP DOI BibTeX RDF
15	Hristo Nikolov, Todor P. Stefanov, Ed F. Deprettere	Modeling and FPGA Implementation of Applications Using Parameterized Process Networks with Non-Static Parameters.	FCCM	2005	DBLP DOI BibTeX RDF
15	Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi	Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.	EMSOFT	2005	DBLP DOI BibTeX RDF	process communication, scheduling, embedded software, model-based design, semantical preservation
15	Tolga Ayav, Yves Sorel	Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
15	Cyril Schoreels, Jonathan M. Garibaldi	A Comparison of Adaptive and Static Agents in Equity Market Trading.	IAT	2005	DBLP DOI BibTeX RDF
15	Michael Walter Payton, Fat Duen Ho	A physically-derived large-signal nonquasi-static MOSFET model for computer aided device and circuit simulation PART-I MOSFETs and CMOS inverters.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
15	Santiago Grijalva, Peter W. Sauer	Static Collapse and Topological Cuts.	HICSS	2005	DBLP DOI BibTeX RDF
15	Wenfeng Jin, Yunhong Wang, Tieniu Tan	Text-Independent Writer Identification Based on Fusion of Dynamic and Static Features.	IWBRS	2005	DBLP DOI BibTeX RDF
15	Aliakbar Ghadiri, Hamid Mahmoodi-Meimand	Dual-Edge Triggered Static Pulsed Flip-Flops.	VLSI Design	2005	DBLP DOI BibTeX RDF
15	Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro	A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
15	Soo-Wook Jang, Gwang-Soon Lee, Eun-Su Kim, Sung-Hak Lee, Kyu-Ik Sohng	MPEG-2 Test Stream with Static Test Patterns in DTV System.	ICIAR	2005	DBLP DOI BibTeX RDF
15	Yungbum Jung, Jaehwang Kim, Jaeho Shin 0001, Kwangkeun Yi	Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis.	SAS	2005	DBLP DOI BibTeX RDF
15	Xiaoliang Bai, Rajit Chandra, Sujit Dey, P. V. Srinivas	Interconnect coupling-aware driver modeling in static noise analysis for nanometer circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
15	Serge Bernard, Mariane Comte, Florence Azaïs, Yves Bertrand, Michel Renovell	Efficiency of Spectral-Based ADC Test Flows to Detect Static Errors.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	test flow optimization, analog and mixed-signal testing, ADC test
15	Yao-Wen Huang, Fang Yu 0001, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo	Securing web application code by static analysis and runtime protection.	WWW	2004	DBLP DOI BibTeX RDF	program security, verification, type systems, information flow, noninterference, web application security, security vulnerabilities
15	Tao Zhang 0037, Weidong Shi, Santosh Pande	Static Techniques to Improve Power Efficiency of Branch Predictors.	HiPC	2004	DBLP DOI BibTeX RDF
15	Hidenori Sato, Toshinori Sato	A static and dynamic energy reduction technique for I-cache and BTB in embedded processors.	ASP-DAC	2004	DBLP DOI BibTeX RDF
15	Baris Özgül, Hakan Deliç	Blind Collision Resolution Using Retransmission Diversity under Quasi-Static Fading Channels.	ISCIS	2004	DBLP DOI BibTeX RDF
15	Leah Findlater, Joanna McGrenere	A comparison of static, adaptive, and adaptable menus.	CHI	2004	DBLP DOI BibTeX RDF	user study, interaction techniques, customization, adaptable interfaces, adaptive interfaces, menu design
15	Weidong Shi, Tao Zhang 0037, Santosh Pande	Static Techniques to Improve Power Efficiency of Branch Predictors.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
15	Bramha Allu, Wei Zhang 0002	Static next sub-bank prediction for drowsy instruction cache.	CASES	2004	DBLP DOI BibTeX RDF	compiler, instruction cache, leakage energy
15	Fuzhi Lu, Daniel Y. Kwok	The Validity of Static EDL Theory as Applied to Streaming Potential of Pressure-Driven Flow in Parallel-Plate Microchannels.	ICMENS	2004	DBLP DOI BibTeX RDF
15	Carl Gould 0001, Zhendong Su 0001, Premkumar T. Devanbu	Static Checking of Dynamically Generated Queries in Database Applications.	ICSE	2004	DBLP DOI BibTeX RDF
15	Martín Nordio, Ricardo H. Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum	A Framework for Execution of Secure Mobile Code based on Static Analysis.	SCCC	2004	DBLP DOI BibTeX RDF
15	Byung In Moon, Hongil Yoon, Ilgu Yun, Sungho Kang	An In-Order SMT Architecture with Static Resource Partitioning for Consumer Applications.	PDCAT	2004	DBLP DOI BibTeX RDF
15	Gürsel Serpen, Yifeng Xu	Simultaneous recurrent neural network trained with non-recurrent backpropagation algorithm for static optimisation.	Neural Comput. Appl.	2003	DBLP DOI BibTeX RDF	Computational complexity, Artificial neural network, Optimisation, Backpropagation, Traveling salesman, Recurrent network
15	Chulwoo Kim, Ki-Wook Kim, Sung-Mo Kang	Energy-efficient skewed static logic with dual Vt: design and synthesis.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
15	Soha Hassoun, Christopher Cromer, Eduardo H. Calvillo Gámez	Static timing analysis for level-clocked circuits in the presence of crosstalk.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
15	Liang Wang 0001, Huazhong Ning, Tieniu Tan, Weiming Hu	Fusion of Static and Dynamic Body Biometrics for Gait Recognition.	ICCV	2003	DBLP DOI BibTeX RDF
15	Orkun Ozturk, Melissa Boom Coburn, Steve Kitterman	Factory capacity and throughput planning: conceptualization, design and implementation of a static capacity model.	WSC	2003	DBLP DOI BibTeX RDF
15	Gilles Nachouki	Integration of Static and Active Data Sources.	ISCIS	2003	DBLP DOI BibTeX RDF
15	Anirudh Devgan, Chandramouli V. Kashyap	Block-based Static Timing Analysis with Uncertainty.	ICCAD	2003	DBLP DOI BibTeX RDF
15	Elisabetta Zibetti, Charles Tijus	Perceiving Action from Static Images: The Role of Spatial Context.	CONTEXT	2003	DBLP DOI BibTeX RDF
15	Cristina Boeres, Alexandre Lima, Vinod E. F. Rebello	Hybrid Task Scheduling: Integrating Static and Dynamic Heuristics.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
15	Yoshihito Nishizaki, Osamu Nakayama, Chiaki Matsumoto, Yoshitaka Kimura, Toshimi Kobayashi, Hiroyuki Nakamura	Testing DSM ASIC With Static, \DeltaIDDQ, And Dynamic Test Suite: Implementation And Results.	ITC	2003	DBLP DOI BibTeX RDF
15	Ioannis Ch. Paschalidis, Yong Liu	Pricing in multiservice loss networks: static pricing, asymptotic optimality, and demand substitution effects.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	welfare maximization, Internet, markov decision processes, pricing, loss networks, internet economics, revenue management
15	Gregory A. Muthler, David Crowe, Sanjay J. Patel, Steven Lumetta	Instruction fetch deferral using static slack.	MICRO	2002	DBLP DOI BibTeX RDF
15	Claudio Riva, Jordi Vidal Rodríguez	Combining Static and Dynamic Views for Architecture Reconstruction.	CSMR	2002	DBLP DOI BibTeX RDF	Software Architecture, Reverse Engineering, Dynamic Analysis, MSC, Architecture Reconstruction
15	Dan Yuan, Siwei Lu	Simulated Static Electric Field (SSEF) Snake for Deformable Models.	ICPR (1)	2002	DBLP DOI BibTeX RDF
15	Maher M. Atwah, Johnnie W. Baker	An Associative Static and Dynamic Convex Hull Algorithm.	IPDPS	2002	DBLP DOI BibTeX RDF
15	Jakob Engblom, Bengt Jonsson 0001	Processor Pipelines and Their Properties for Static WCET Analysis.	EMSOFT	2002	DBLP DOI BibTeX RDF
15	Alexandre V. Fioukov, Evgeni M. Eskenazi, Dieter K. Hammer, Michel R. V. Chaudron	Evaluation of Static Properties for Component-Based Architectures.	EUROMICRO	2002	DBLP DOI BibTeX RDF
15	Guisheng Zhai, Xinkai Chen	Stabilizing linear time-invariant systems with finite-state hybrid static output feedback.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
15	Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings	A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems.	WORDS	2002	DBLP DOI BibTeX RDF	Portable WCET Analysis, Java, Hard Real-Time Systems, Real-Time Java, Worst-Case Execution Time Analysis
15	Dit-Yan Yeung, Yuxin Ding	User Profiling for Intrusion Detection Using Dynamic and Static Behavioral Models.	PAKDD	2002	DBLP DOI BibTeX RDF
15	Andrzej S. Murawski, Kwangkeun Yi	Static Monotonicity Analysis for lambda-definable Functions over Lattices.	VMCAI	2002	DBLP DOI BibTeX RDF
15	Jiong Luo, Niraj K. Jha	Static and Dynamic Variable Voltage Scheduling Algorithms for Real-Time Heterogeneous Distributed Embedded Systems.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	scheduling, real-time systems, embedded systems, low-power
15	Chin Soon Lee	Finiteness Analysis in Polynomial Time.	SAS	2002	DBLP DOI BibTeX RDF
15	Irith Pomeranz, Sudhakar M. Reddy	Vector replacement to improve static-test compaction forsynchronous sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
15	Dimiter R. Avresky, Vladimir Shurbanov, Natcho H. Natchev, F. Zuccarino, Pankaj Mehra	Optimal Utilization of Equivalent Paths in Computer Networks with Static Routing.	NCA	2001	DBLP DOI BibTeX RDF
15	Huiyang Zhou, Mark C. Toburen, Eric Rotenberg, Thomas M. Conte	Adaptive Mode Control: A Static-Power-Efficient Cache Design.	IEEE PACT	2001	DBLP DOI BibTeX RDF
15	Kwame Osei Boateng, Hideaki Konishi, Tsuneo Nakata	A Method of Static Compaction of Test Stimuli.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
15	Chulwoo Kim, Ki-Wook Kim, Sung-Mo Kang	Energy-efficient skewed static logic design with dual Vt.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
15	Sriram Govindarajan, Ranga Vemuri	Improving the Schedule Quality of Static-List Time-Constrained Scheduling.	DATE	2000	DBLP DOI BibTeX RDF
15	Xueyan Tang, Samuel T. Chanson	Optimizing Static Job Scheduling in a Network of Heterogeneous Computers.	ICPP	2000	DBLP DOI BibTeX RDF
15	Hideo Nagumo, Mi Lu, Karan L. Watson	Parallel Parsing Algorithms for Static Dictionary Compression.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	dictionary techniques, optimal parsing, longest fragment first parsing, parallel algorithms, Data compression, PRAM
15	Cliff Young, Michael D. Smith 0001	Static correlated branch prediction.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	branch correlation, profile-driven optimization, branch prediction, path profiling