Search results for "static"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	David Röthlisberger, Marcel Harry, Alex Villazón, Danilo Ansaloni, Walter Binder, Oscar Nierstrasz, Philippe Moret	Senseo: Enriching Eclipse's static source views with dynamic metrics.	ICSM	2009	DBLP DOI BibTeX RDF
12	Daniel Grund, Jan Reineke 0001	Abstract Interpretation of FIFO Replacement.	SAS	2009	DBLP DOI BibTeX RDF	FIFO Replacement, Domain Cooperation, May/Must Reasoning, Cache Analysis
12	Jun Lu, Tatsuya Suda	Differentiated Surveillance for Static and Random Mobile Sensor Networks.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
12	Ahmed Youssef, Mohab Anis, Mohamed I. Elmasry	A Comparative Study Between Static and Dynamic Sleep Signal Generation Techniques for Leakage Tolerant Designs.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
12	Anupam Gupta 0001, Ziv Bar-Joseph	Extracting Dynamics from Static Cancer Expression Data.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	glioma, microarrays, EM, traveling salesman
12	Timothy Bretl, Sanjay Lall	Testing Static Equilibrium for Legged Robots.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
12	Elon Rimon, Richard Mason, Joel W. Burdick, Yizhar Or	A General Stance Stability Test Based on Stratified Morse Theory With Application to Quasi-Static Locomotion Planning.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
12	Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William W. Pugh	Using Static Analysis to Find Bugs.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
12	Jun Ueda, Thomas W. Secord, H. Harry Asada	Static lumped parameter model for nested PZT cellular actuators with exponential strain amplification mechanisms.	ICRA	2008	DBLP DOI BibTeX RDF
12	Cristian C. Phipps, Mark A. Minor	Quasi-static rolling control of the rolling disk biped robot.	ICRA	2008	DBLP DOI BibTeX RDF
12	Madhu Gopinathan, Sriram K. Rajamani	Enforcing object protocols by combining static and runtime analysis.	OOPSLA	2008	DBLP DOI BibTeX RDF	aspect oriented programming, program verification, invariants
12	Yoshichika Ohta, Teruya Fujii	Dynamic Channel Model for Static Mobile Terminals in Indoor LOS and NLOS Environments.	VTC Spring	2008	DBLP DOI BibTeX RDF
12	Mathieu Bouet, Guy Pujolle	3-D Localization Schemes of RFID Tags with Static and Mobile Readers.	Networking	2008	DBLP DOI BibTeX RDF	3 dimensions, mobility, localization, RFID, tracking
12	Ruiming Chen, Lizheng Zhang, Vladimir Zolotov, Chandu Visweswariah, Jinjun Xiong	Static timing: Back to our roots.	ASP-DAC	2008	DBLP DOI BibTeX RDF
12	Abhishek Rohatgi, Abdelwahab Hamou-Lhadj, Juergen Rilling	An Approach for Mapping Features to Code Based on Static and Dynamic Analysis.	ICPC	2008	DBLP DOI BibTeX RDF
12	Evgeni Magid, Kentaro Ozawa, Takashi Tsubouchi, Eiji Koyanagi, Tomoaki Yoshida	Rescue Robot Navigation: Static Stability Estimation in Random Step Environment.	SIMPAR	2008	DBLP DOI BibTeX RDF
12	Luigi Dragone	An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF
12	Alessandro Astolfi, Romeo Ortega	Interconnection and Damping Assignment Passivity-Based Control: Static vs dynamic state-feedback.	CDC	2008	DBLP DOI BibTeX RDF
12	Jongeun Lee, Aviral Shrivastava	Static analysis of processor stall cycle aggregation.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	memory bound loops, processor free time, stall cycle aggregation, embedded systems, low power, code transformation
12	Bernard J. van der Horst, Astrid M. L. Kappers	Intermanual Transfer of the Curvature Aftereffect in Static and Dynamic Touch.	EuroHaptics	2008	DBLP DOI BibTeX RDF	Aftereffect, Intermanual Transfer, Haptic, Curvature, Touch
12	Steven Huntzicker, Michael Dayringer, Justin Soprano, Anthony Weerasinghe, David Money Harris, Dinesh Patil	Energy-delay tradeoffs in 32-bit static shifter designs.	ICCD	2008	DBLP DOI BibTeX RDF
12	Maziyar Khorasani, Leendert van den Berg, Philip A. Marshall, Meysam Zargham, Vincent C. Gaudet, Duncan G. Elliott, Stephane Martel	Low-power static and dynamic high-voltage CMOS level-shifter circuits.	ISCAS	2008	DBLP DOI BibTeX RDF
12	Sherif A. Tawfik, Volkan Kursun	Dynamic wordline voltage swing for low leakage and stable static memory banks.	ISCAS	2008	DBLP DOI BibTeX RDF
12	Yue Chi, Zhushi Xie, Kewen Xia, Xin Liu	Static Power Optimization for CMOS Combinational Circuit Based on Bacterial Colony Chemotaxis Algorithm.	CSSE (5)	2008	DBLP DOI BibTeX RDF
12	Chun-Feng Guo, Guang-Rong Ji, Lin-Shan Wang	A New Criterion of Global Robust Stability for the Static Neural Network with Time-Delays.	CSSE (1)	2008	DBLP DOI BibTeX RDF
12	Hai-Rong Cui, Chun-Feng Guo, Yang-Fan Wang, Lin-Shan Wang	A New Criterion of Global Exponential Robust Stability of Periodic Solution for the Static Neural Network with Time-Delays.	CSSE (1)	2008	DBLP DOI BibTeX RDF
12	Lijun Yu, Robert B. France, Indrakshi Ray	Scenario-Based Static Analysis of UML Class Models.	MoDELS	2008	DBLP DOI BibTeX RDF	Behavioral Properties, UML, Snapshot, Model Analysis
12	Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese	From Flow Logic to Static Type Systems for Coordination Languages.	COORDINATION	2008	DBLP DOI BibTeX RDF
12	Yawen Wang, Yunzhan Gong, Junliang Chen, Qing Xiao, Zhaohong Yang	An Application of Interval Analysis in Software Static Analysis.	EUC (2)	2008	DBLP DOI BibTeX RDF
12	Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang	Quasi-Static Scheduling of Communicating Tasks.	CONCUR	2008	DBLP DOI BibTeX RDF
12	Jie-Hung Lee, Chiu-Ching Tuan, Tzung-Pei Hong	A maximum channel reuse scheme with Hopfield Neural Network based static cellular radio channel allocation systems.	IJCNN	2008	DBLP DOI BibTeX RDF
12	Adnan Afsar Khan, Ivan Stojmenovic, Nejib Zaguia	Parameterless Broadcasting in Static to Highly Mobile Wireless Ad Hoc, Sensor and Actuator Networks.	AINA	2008	DBLP DOI BibTeX RDF	sensor and actuator networks, ad hoc networks, wireless networks, Broadcasting
12	Judit Jász, Árpád Beszédes, Tibor Gyimóthy, Václav Rajlich	Static Execute After/Before as a replacement of traditional software dependencies.	ICSM	2008	DBLP DOI BibTeX RDF
12	Ioannis Chatzigeorgiou, Ian J. Wassell, Rolando A. Carrasco	On the frame error rate of transmission schemes on quasi-static fading channels.	CISS	2008	DBLP DOI BibTeX RDF
12	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Ou Wei, Aarti Gupta	SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.	SAS	2008	DBLP DOI BibTeX RDF
12	Jörg Bauer 0001, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard	Relational Analysis of Correlation.	SAS	2008	DBLP DOI BibTeX RDF
12	Margaret A. Wojcicki, Paul A. Strooper	Maximising the information gained from a study of static analysis technologies for concurrent software.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Concurrent Java components, Controlled experiment, Verification and validation
12	Peter G. Sassone, D. Scott Wills, Gabriel H. Loh	Static strands: Safely exposing dependence chains for increasing embedded power efficiency.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	dependency collapsing, Architecture, energy, sequentiality
12	Fatma Kharrat-Kammoun, Sandrine Fontenelle, Joseph Boutros	Accurate Approximation of QAM Error Probability on Quasi-Static MIMO Channels and Its Application to Adaptive Modulation.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
12	Chris Snow, Lutz H.-J. Lampe, Robert Schober	Error Rate Analysis for Coded Multicarrier Systems Over Quasi-Static Fading Channels.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
12	Chris Snow, Lutz H.-J. Lampe, Robert Schober	Error Rate Analysis for Coded Multicarrier Systems Over Quasi-Static Fading Channels.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
12	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
12	Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann	Automatic Incrementalization of Prolog Based Static Analyses.	PADL	2007	DBLP DOI BibTeX RDF
12	Chedy Raïssi, Pascal Poncelet	Sampling for Sequential Pattern Mining: From Static Databases to Data Streams.	ICDM	2007	DBLP DOI BibTeX RDF
12	Arno Moonen, Marco Bekooij, René van den Berg, Jef L. van Meerbergen	Practical and Accurate Throughput Analysis with the Cyclo Static Dataflow Model.	MASCOTS	2007	DBLP DOI BibTeX RDF
12	Cristina Rubio-Escudero, Rocío Romero-Záliz, Oscar Cordón, Igor Zwir	Modeling genetic networks: comparison of static and dynamic models.	SCSC	2007	DBLP BibTeX RDF	high-throughput techniques, gene expression, dynamic models, gene networks
12	Michael Schmidt 0002, Stefanie Scherzinger, Christoph Koch 0001	Combined Static and Dynamic Analysis for Effective Buffer Minimization in Streaming XQuery Evaluation.	ICDE	2007	DBLP DOI BibTeX RDF
12	Stefan Reifinger, Frank Wallhoff, Markus Ablaßmeier, Tony Poitschke, Gerhard Rigoll	Static and Dynamic Hand-Gesture Recognition for Augmented Reality Applications.	HCI (3)	2007	DBLP DOI BibTeX RDF	Human Computer Interaction, Augmented Reality, Gesture Recognition
12	Xiang Qiu, Yong Niu, Xiaolan Fu	The Influence of Visual Angle on the Performance of Static Images Scanning.	HCI (13)	2007	DBLP DOI BibTeX RDF	image scanning, working memory, visual angle, mental load
12	Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu	Improving Static Variable Orders Via Invariants.	ICATPN	2007	DBLP DOI BibTeX RDF
12	Richard Brunauer, Andreas Löcker, Helmut A. Mayer, Gerhard Mitterlechner, Hannes Payer	Evolution of iterated prisoner's dilemma strategies with different history lengths in static and cultural environments.	SAC	2007	DBLP DOI BibTeX RDF	iterated prisoner's dilemma, evolutionary computation, cultural algorithms
12	Saurabh K. Tiwary, Joel R. Phillips	WAVSTAN: waveform based variational static timing analysis.	DATE	2007	DBLP DOI BibTeX RDF
12	S. M. Hadi Hosseini, Makoto Takahashi	Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks.	SAFECOMP	2007	DBLP DOI BibTeX RDF
12	Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Semantics of static pointcuts in aspectJ.	POPL	2007	DBLP DOI BibTeX RDF	logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts
12	Yong Ding 0002, Chen Wang 0010, Li Xiao 0001	A static-node assisted adaptive routing protocol in vehicular networks.	Vehicular Ad Hoc Networks	2007	DBLP DOI BibTeX RDF	trajectory based forwarding, mobile ad-hoc networks, vehicular networks, geographic forwarding
12	Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou	Static Analysis by Policy Iteration on Relational Domains.	ESOP	2007	DBLP DOI BibTeX RDF
12	Fang Bian, Sumit Rangwala, Ramesh Govindan	Quasi-static Centralized Rate Allocation for Sensor Networks.	SECON	2007	DBLP DOI BibTeX RDF
12	Juan M. Cebrian, Juan L. Aragón, José M. García 0001	Leakage Energy Reduction in Value Predictors through Static Decay.	IPDPS	2007	DBLP DOI BibTeX RDF
12	Cristina Rubio-Escudero, Oscar Harari, Oscar Cordón, Igor Zwir	Modeling Genetic Networks: Comparison of Static and Dynamic Models.	EvoBIO	2007	DBLP DOI BibTeX RDF
12	Marcin Szlenk	UML Static Models in Formal Approach.	CEE-SET	2007	DBLP DOI BibTeX RDF	UML, Software modeling, Formal reasoning
12	Yinfei Pan, Wei Lu, Ying Zhang, Kenneth Chiu	A Static Load-Balancing Scheme for Parallel XML Parsing on Multicore CPUs.	CCGRID	2007	DBLP DOI BibTeX RDF
12	Bogdan Vlasenko, Björn W. Schuller, Andreas Wendemuth, Gerhard Rigoll	Frame vs. Turn-Level: Emotion Recognition from Speech Considering Static and Dynamic Processing.	ACII	2007	DBLP DOI BibTeX RDF	Frame-Level Analysis, Turn-Level Analysis, Model Fusion, LOSO, Feature Selection, Emotion Recognition
12	Ahmad S. Shaarani, Daniela M. Romano	Perception of Emotions from Static Postures.	ACII	2007	DBLP DOI BibTeX RDF
12	Shoaib Kamil 0001, Ali Pinar, Daniel K. Gunter, Michael Lijewski, Leonid Oliker, John Shalf	Reconfigurable hybrid interconnection for static and dynamic scientific applications.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	hybrid interconnects, adaptive mesh refinement, feasibility, petascale
12	Xiaobing Wu, Guihai Chen	Dual-Sink: Using Mobile and Static Sinks for Lifetime Improvement in Wireless Sensor Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
12	Christian Denger, Frank Elberzhager	Unifying Inspection Processes to Create a Framework to Support Static Quality Assurance Planning.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
12	Cristiano Forzan, Davide Pandini	Why we need statistical static timing analysis.	ICCD	2007	DBLP DOI BibTeX RDF
12	Maarten Wiggers, Marco Bekooij, Pierre G. Jansen, Gerard J. M. Smit	Efficient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
12	Kuo-Hsing Cheng, Cheng-Liang Hung, Chia-Wei Su	A Sub-1V Low-Power High-Speed Static Frequency Divider.	ISCAS	2007	DBLP DOI BibTeX RDF
12	Nuno M. Garcia, Przemyslaw Lenkiewicz, Mário M. Freire, Paulo P. Monteiro	On the Performance of Shortest Path Routing Algorithms for Modeling and Simulation of Static Source Routed Networks -- an Extension to the Dijkstra Algorithm.	ICSNC	2007	DBLP DOI BibTeX RDF
12	Jinxia Yu, Zixing Cai, Zhuohua Duan	Detection of Static and Dynamic Obstacles Based on Fuzzy Data Association with Laser Scanner.	FSKD (4)	2007	DBLP DOI BibTeX RDF
12	Clint Morgan, Kris De Volder, Eric Wohlstadter	A static aspect language for checking design rules.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, design rule
12	Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux	Rewriting Approximations for Fast Prototyping of Static Analyzers.	RTA	2007	DBLP DOI BibTeX RDF
12	Chris Schuermyer, Jewel Pangilinan, Jay Jahangiri, Martin Keim, Janusz Rajski, Brady Benware	Silicon Evaluation of Static Alternative Fault Models.	VTS	2007	DBLP DOI BibTeX RDF
12	Tao Xie 0004	SOR: A Static File Assignment Strategy Immune to Workload Characteristic Assumptions in Parallel I/O Systems.	ICPP	2007	DBLP DOI BibTeX RDF
12	Oliver Schall, Alexander G. Belyaev, Hans-Peter Seidel	Feature-preserving non-local denoising of static and time-varying range data.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	non-local filtering, region-based filtering, time-varying geometry, denoising, anisotropy, feature-preservation
12	Árpád Beszédes, Tamás Gergely, Judit Jász, Gabriella Tóth, Tibor Gyimóthy, Václav Rajlich	Computation of Static Execute After Relation with Applications to Software Maintenance.	ICSM	2007	DBLP DOI BibTeX RDF
12	Zonghua Gu 0001, Xiuqiang He 0001, Mingxuan Yuan	Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking.	DAC	2007	DBLP DOI BibTeX RDF
12	Zhuo Feng, Peng Li 0001, Yaping Zhan	Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction.	DAC	2007	DBLP DOI BibTeX RDF
12	Guo Yu, Wei Dong 0002, Zhuo Feng, Peng Li 0001	A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis.	DAC	2007	DBLP DOI BibTeX RDF
12	Meritxell Lamarca, Hanqing Lou, Javier Garcia-Frías	Guidelines for Channel Code Design in Quasi-Static Fading Channels.	CISS	2007	DBLP DOI BibTeX RDF
12	Étienne Payet, Fausto Spoto	Magic-Sets Transformation for the Analysis of Java Bytecode.	SAS	2007	DBLP DOI BibTeX RDF
12	Tronje Krop, Matthias Hollick, Frederik Krist, Parag S. Mogre, Ralf Steinmetz	Modeling static and dynamic behavior of routes in mobile ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF
12	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
12	Jens Vygen	Slack in static timing analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
12	Mariana Sharp, Atanas Rountev	Static Analysis of Object References in RMI-Based Java Software.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	reference analysis, side-effect analysis, program analysis, points-to analysis, object-oriented software, RMI, distributed software, class analysis, call graph construction
12	Baris Özgül, Hakan Deliç	Wireless access with blind collision-multiplicity detection and retransmission diversity for quasi-static channels.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
12	Sébastien Lafond, Johan Lilius	Static Energy Saving Through Multi-Bank Memory Architecture.	ICSAMOS	2006	DBLP DOI BibTeX RDF
12	Alfredo Benso, Alberto Bosio, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto	Automatic march tests generations for static linked faults in SRAMs.	DATE	2006	DBLP DOI BibTeX RDF
12	Swatee Rekha Mohanty, Durga Prasad Mohapatra, Himansu Sekhar Behara	A Novel Approach for Static Slicing of Inter-Procedural Programs.	ICIT	2006	DBLP DOI BibTeX RDF
12	Yu Pu, Yajun Ha	An automated, efficient and static bit-width optimization methodology towards maximum bit-width-to-error tradeoff with affine arithmetic model.	ASP-DAC	2006	DBLP DOI BibTeX RDF
12	Arist Kojevnikov, Dmitry Itsykson	Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies.	ICALP (1)	2006	DBLP DOI BibTeX RDF
12	Jens Knodel, Dirk Muthig, Matthias Naab, Mikael Lindvall	Static Evaluation of Software Architectures.	CSMR	2006	DBLP DOI BibTeX RDF	ADORE, PuLSE-DSSA, architecture, reverse engineering, product line, architecture evaluation
12	Mohammad Dawood, Florian Büther, Norbert Lang, Xiaoyi Jiang 0001, Klaus P. Schäfers	Transforming Static CT in Gated PET/CT Studies to Multiple Respiratory Phases.	ICPR (1)	2006	DBLP DOI BibTeX RDF
12	Toby H. W. Lam, Raymond S. T. Lee	Human Identification by Using the Motion and Static Characteristic of Gait.	ICPR (3)	2006	DBLP DOI BibTeX RDF
12	Mamadou K. Traoré	Analyzing static and temporal properties of simulation models.	WSC	2006	DBLP DOI BibTeX RDF
12	Rashedur M. Rahman, Ken Barker 0001, Reda Alhajj	Replica Placement Design with Static Optimality and Dynamic Maintainability.	CCGRID	2006	DBLP DOI BibTeX RDF
12	Tong Chen 0001, Zehra Sura, Kathryn M. O'Brien, John K. O'Brien	Optimizing the Use of Static Buffers for DMA on a CELL Chip.	LCPC	2006	DBLP DOI BibTeX RDF
12	B. Chung, J. B. Kuo	Gate-level dual-threshold static power optimization methodology (GDSPOM) for designing high-speed low-power SOC applications using 90nm MTCMOS technology.	ISCAS	2006	DBLP DOI BibTeX RDF
12	Aaron St. Leger, Chika O. Nwankpa	Static generator model for analog power flow computation.	ISCAS	2006	DBLP DOI BibTeX RDF