Search results for "ELF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Robert A. Sainati, Edwin A. Wolkoff	Application of Magnetotelluric Techniques at Extremely Low Frequency (ELF) for Sanguine Transmitting Antenna Site Characterization.	IEEE Trans. Commun.	1974	DBLP DOI BibTeX RDF
21	James R. Wait	Historical Background and Introduction to the Special Issue on Extremely Low Frequency (ELF) Communications.	IEEE Trans. Commun.	1974	DBLP DOI BibTeX RDF
21	Steven L. Bernstein, Dale A. McNeill, Ira Richer	A Signaling Scheme and Experimental Receiver for Extremely Low Frequency (ELF) Communication.	IEEE Trans. Commun.	1974	DBLP DOI BibTeX RDF
21	Michael L. Burrows	Motion-Induced Noise in Electrode-Pair Extremely Low Frequency (ELF) Receiving Antennas.	IEEE Trans. Commun.	1974	DBLP DOI BibTeX RDF
21	Thomas E. Cheatham Jr., A. Fischer, P. Jorrand	On the basis for ELF: an extensible language facility.	AFIPS Fall Joint Computing Conference (2)	1968	DBLP DOI BibTeX RDF
16	Santiago Garrido, Luis Moreno 0001, Dolores Blanco	Exploration of 2D and 3D Environments using Voronoi Transform and Fast Marching Method.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Mobile robots, Exploration, Motion planning, SLAM, Robot mapping
16	Heather Desurvire, Charlotte Wiberg	Game Usability Heuristics (PLAY) for Evaluating and Designing Better Games: The Next Iteration.	HCI (12)	2009	DBLP DOI BibTeX RDF	ACM Classification Keywords: H.5.1 [Information Interfaces and Presentation] Multimedia Information Systems-evaluation/methodology
16	Alessandro Pellegrini 0001, Roberto Vitali, Francesco Quaglia	Di-DyMeLoR: Logging only Dirty Chunks for Efficient Management of Dynamic Memory Based Optimistic Simulation Objects.	PADS	2009	DBLP DOI BibTeX RDF	Incremental checkpointing, Performance optimization, Optimistic simulation
16	Elif Derya Übeyli, Dean Cvetkovic, Irena Cosic	AR Spectral Analysis Technique for Human PPG, ECG and EEG Signals.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	PPG, Least squares AR method, EEG, ECG
16	Karl Meier, Alessandro Forin	Hardware Compilation from Machine Code with M2V.	FCCM	2008	DBLP DOI BibTeX RDF
16	Douglas Gray 0001, Hai Tao	Viewpoint Invariant Pedestrian Recognition with an Ensemble of Localized Features.	ECCV (1)	2008	DBLP DOI BibTeX RDF
16	Adam Dunkels, Niclas Finne, Joakim Eriksson, Thiemo Voigt	Run-time dynamic linking for reprogramming wireless sensor networks.	SenSys	2006	DBLP DOI BibTeX RDF	wireless sensor networks, embedded systems, virtual machines, operating systems, dynamic linking
16	Zhiqiang Lin, Nai Xia, Guole Li, Bing Mao, Li Xie 0001	Transparent Run-Time Prevention of Format-String Attacks Via Dynamic Taint and Flexible Validation.	ISC	2006	DBLP DOI BibTeX RDF
16	Marco Cova, Viktoria Felmetsger, Greg Banks, Giovanni Vigna	Static Detection of Vulnerabilities in x86 Executables.	ACSAC	2006	DBLP DOI BibTeX RDF	binary static analysis, symbolic execution, Vulnerability analysis, taint analysis
16	Joy Mukherjee, Srinidhi Varadarajan	Weaves: A Framework for Reconfigurable Programming.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	intra process, adaptive, compositional, Reconfigurable, dynamic binding
16	Alexandro Baldassin, Paulo Centoducatte, Sandro Rigo	Extending the ArchC Language for Automatic Generation of Assemblers.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
16	Intaik Park, Ahmad A. Al-Yamani, Edward J. McCluskey	Effective TARO Pattern Generation.	VTS	2005	DBLP DOI BibTeX RDF
16	Susana Muñoz-Hernández, José Manuél Gómez-Pérez	Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains.	OTM Workshops	2004	DBLP DOI BibTeX RDF
16	Qiming Teng, Xiangqun Chen, Xia Zhao, Wei Zhu, Lu Zhang 0023	Extraction and Visualization of Architectural Structure Based on Cross References among Object Files.	COMPSAC	2004	DBLP DOI BibTeX RDF	software architecture, reverse engineering, component, operating system, reusability, software understanding
16	Srinidhi Varadarajan	The Weaves Runtime Framework.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
16	Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min	Compiler-assisted demand paging for embedded systems with flash memory.	EMSOFT	2004	DBLP DOI BibTeX RDF	post-pass optimization, clustering, embedded systems, compilers, flash memory, paging, SRAM, heterogeneous memory
16	Daniel C. Uchôa, Francisco M. de Assis, Francisco A. F. Tejo	Markov Chain Simulation of Biological Effects on Nerve Cells Ionic Channels Due to Electromagnetic Fields Used in Communication Systems.	ICT	2004	DBLP DOI BibTeX RDF
16	Manijeh Keshtgary, Fahad Ahmed Al-Zahrani, Anura P. Jayasumana, Amir Hossein Jahangir	Network Survivability Performance Evaluation with Applications in WDM Networks with Wavelength Conversion.	LCN	2004	DBLP DOI BibTeX RDF
16	Niwat Waropus, Rajendar Koltur, Malgorzata Chrzanowska-Jeske	Graph-based approach to evaluate net routability of a floorplan.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
16	Fan Guo, Yiyun Chen, RongGui Hu	Machine Code Type Safety.	ICFEM	2002	DBLP DOI BibTeX RDF
16	Luigi Catuogno, Ivan Visconti	A Format-Independent Architecture for Run-Time Integrity Checking of Executable Code.	SCN	2002	DBLP DOI BibTeX RDF
16	Aleksy Schubert	Type Inference for First-Order Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
16	Subhash Chandra, Rajat Moona	Retargetable Functional Simulator Using High Level Processor Models.	VLSI Design	2000	DBLP DOI BibTeX RDF
16	Saravanan Krishnamoorthy	Human Exposure to Extremely-Low and Very-Low Frequency Magnetic Fields in Living and Working Environments.	CBMS	1999	DBLP DOI BibTeX RDF
16	Frank Pfenning, Carsten Schürmann	System Description: Twelf - A Meta-Logical Framework for Deductive Systems.	CADE	1999	DBLP DOI BibTeX RDF
16	David Ung, Cristina Cifuentes	SRL 3/4-A Simple Retargetable Loader.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF
16	John Hatcliff	Mechanically Verifying the Correctness of an Offline Partial Evaluator	PLILP	1995	DBLP DOI BibTeX RDF
16	Wolfgang Gehrke	Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad.	RTA	1995	DBLP DOI BibTeX RDF
16	Frank Pfenning, Ekkehard Rohwedder	Implementing the Meta-Theory of Deductive Systems.	CADE	1992	DBLP DOI BibTeX RDF
16	Tai A. Ly, W. Lloyd Elwood, Emil F. Girczyc	A Generalized Interconnect Model for Data Path Synthesis.	DAC	1990	DBLP DOI BibTeX RDF
16	Dale Miller 0001	A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification.	ELP	1989	DBLP DOI BibTeX RDF