Search results for "bridges"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Douglas S. Bridges	Constructing local optima on a compact interval.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF
22	Neil Vachharajani, Ram Rangan, Easwaran Raman, Matthew J. Bridges, Guilherme Ottoni, David I. August	Speculative Decoupled Software Pipelining.	PACT	2007	DBLP DOI BibTeX RDF
22	Matthew J. Bridges, Neil Vachharajani, Yun Zhang 0005, Thomas B. Jablin, David I. August	Revisiting the Sequential Programming Model for Multi-Core.	MICRO	2007	DBLP DOI BibTeX RDF
22	Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe	Embedded Gossip: Lightweight Online Measurement for Large-Scale Applications.	ICDCS	2007	DBLP DOI BibTeX RDF
22	Tanya Vladimirova, Xiaofeng Wu 0001, Abdul-Halim M. Jallad, Christopher P. Bridges	Distributed Computing in Reconfigurable Picosatellite Networks.	AHS	2007	DBLP DOI BibTeX RDF
22	Tanya Vladimirova, Christopher P. Bridges, George Prassinos, Xiaofeng Wu 0001, Kawsu Sidibeh, David Barnhart, Abdul-Halim M. Jallad, Jean R. Paul, Vaios Lappas, Adam Baker, Kevin Maynard, Rodger Magness	Characterising Wireless Sensor Motes for Space Applications.	AHS	2007	DBLP DOI BibTeX RDF	mote kits, wireless COTS protocols, distributed space systems, satellites, Wireless sensor nodes
22	Mahmood Hossain, Susan Bridges, Yong Wang, Julia E. Hodges	Extracting Partitional Clusters from Heterogeneous Datasets using Mutual Entropy.	IRI	2007	DBLP DOI BibTeX RDF
22	Douglas S. Bridges	Colocatedness and Lebesgue Integrability.	CiE	2007	DBLP DOI BibTeX RDF
22	Robert Howard, Edward W. Tunstel, Dane Elliott-Lewis, Horace Bussey, Jasmine Bridges, Chritianna Taylor	Mobile Surface Systems in a Moonbase System of Systems.	SoSE	2007	DBLP DOI BibTeX RDF
22	Guilherme Ottoni, Ram Rangan, Adam Stoler, Matthew J. Bridges, David I. August	From sequential programs to concurrent threads.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
22	Sharman Bridges Smith	Observations of Ground Zero: From the Outside.	Public Libr. Q.	2006	DBLP DOI BibTeX RDF
22	Josef Berger, Douglas S. Bridges, Peter Schuster 0001	The fan theorem and unique existence of maxima.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
22	Michael Ellims, James Bridges, Darrel C. Ince	The Economics of Unit Testing.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Software testing, Unit testing, Test effectiveness, Adequacy criteria
22	Douglas S. Bridges, Hannes Diener	A constructive treatment of Urysohn's Lemma in an apartness space.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
22	Craig Bridges, K. R. Rajagopal	Pulsatile Flow of a Chemically-Reacting Nonlinear Fluid.	Comput. Math. Appl.	2006	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Robin Havea, Peter Schuster 0001	Ideals in constructive Banach algebra theory.	J. Complex.	2006	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Simona Vîta	Pre-apartness structures on spaces of functions.	J. Complex.	2006	DBLP DOI BibTeX RDF
22	Joseph F. Horn, Derek O. Bridges, Daniel A. Wachspress, Sarma L. Rani	Implementation of a Free-Vortex Wake Model in Real-Time Simulation of Rotorcraft.	J. Aerosp. Comput. Inf. Commun.	2006	DBLP DOI BibTeX RDF
22	Jean-Charles Tournier, Patrick G. Bridges, Arthur B. Maccabe, Patrick M. Widener, Zaid Abudayyeh, Ron Brightwell, Rolf Riesen, Trammell Hudson	Towards a framework for dedicated operating systems development in high-end computing systems.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF
22	Patrick G. Bridges, Arthur B. Maccabe, Orran Krieger	System software for high end computing.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF
22	Josef Berger, Douglas S. Bridges	A Bizarre Property Equivalent to the Pi10-Fan Theorem.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
22	Manjunath Gorentla Venkata, Patrick G. Bridges	MPI/CTP: A Reconfigurable MPI for HPC Applications.	PVM/MPI	2006	DBLP DOI BibTeX RDF
22	Miguel E. Figueroa, Esteban Matamala, Gonzalo Carvajal, Seth Bridges	Adaptive Signal Processing in Mixed-Signal VLSI with Anti-Hebbian Learning.	ISVLSI	2006	DBLP DOI BibTeX RDF
22	Bolei Guo, Youfeng Wu, Cheng Wang 0013, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, David I. August	Selective Runtime Memory Disambiguation in a Dynamic Binary Translator.	CC	2006	DBLP DOI BibTeX RDF
22	Galen M. Shipman, Timothy S. Woodall, Richard L. Graham, Arthur B. Maccabe, Patrick G. Bridges	Infiniband scalability in Open MPI.	IPDPS	2006	DBLP DOI BibTeX RDF
22	Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August	A framework for unrestricted whole-program optimization.	PLDI	2006	DBLP DOI BibTeX RDF	interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
22	Matthew J. Bridges, Neil Vachharajani, Guilherme Ottoni, David I. August	Automatic instruction scheduler retargeting by reverse-engineering.	PLDI	2006	DBLP DOI BibTeX RDF	automatic retargeting, structural hazard, compilers, reverse-engineering, instruction scheduling
22	Alireza Motieifar, Zahra Allahgholi Pour, Greg E. Bridges, Cyrus Shafai, Lotfollah Shafai	An Ultra Wideband (UWB) Mixer with 0.18µm RF CMOS Technology.	CCECE	2006	DBLP DOI BibTeX RDF
22	Gonzalo Carvajal, Miguel E. Figueroa, Seth Bridges	Effects of Analog-VLSI Hardware on the Performance of the LMS Algorithm.	ICANN (1)	2006	DBLP DOI BibTeX RDF
22	Mahmood Hossain, Susan M. Bridges, Yong Wang, Julia E. Hodges	An ensemble approach for generating partitional clusters from multiple cluster hierarchies.	GrC	2006	DBLP DOI BibTeX RDF
22	German Florez, Zhen Liu, Susan M. Bridges, Anthony Skjellum, Rayford B. Vaughn	Lightweight monitoring of MPI programs in real time.	Concurr. Comput. Pract. Exp.	2005	DBLP DOI BibTeX RDF
22	Dave Bridges, Marie E. Fraser, Greg B. G. Moorhead	Cyclic nucleotide binding proteins in the Arabidopsis thaliana and Oryza sativa genomes.	BMC Bioinform.	2005	DBLP DOI BibTeX RDF
22	Joseph F. Horn, Derek O. Bridges, Leonard V. Lopes, Kenneth S. Brentner	Development of a Low-Cost, Multi-Disciplinary Rotorcraft Simulation Facility.	J. Aerosp. Comput. Inf. Commun.	2005	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001, Luminita Vîta	Strong continuity implies uniform sequential continuity.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
22	David S. Vogel, Steffen Bickel, Peter Haider, Rolf Schimpfky, Peter Siemen, Steve Bridges, Tobias Scheffer	Classifying search engine queries using the web as background knowledge.	SIGKDD Explor.	2005	DBLP DOI BibTeX RDF
22	Douglas S. Bridges	A Weak Constructive Sequential Compactness Property and the Fan Theorem.	Log. J. IGPL	2005	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	The constructive uniqueness of the locally convex topology on rn.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
22	Errett Bishop, Douglas S. Bridges	Introduction.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
22	Douglas S. Bridges, Robin Havea	Approximations to the numerical range of an element of a Banach algebra.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
22	Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001, Luminita Vîta	Compactness in apartness spaces?	Spatial Representation	2005	DBLP BibTeX RDF
22	Zhen Liu, Susan M. Bridges, Rayford B. Vaughn	Combining Static Analysis and Dynamic Learning to Build Accurate Intrusion Detection Models.	IWIA	2005	DBLP DOI BibTeX RDF
22	Bolei Guo, Matthew J. Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I. August	Practical and Accurate Low-Level Pointer Analysis.	CGO	2005	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).	CCA	2005	DBLP BibTeX RDF
22	Douglas S. Bridges, Robin Havea, Peter Schuster 0001	Ideals in Constructive Banach Algebra Theory.	CCA	2005	DBLP BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	Proximal Connectedness.	CCA	2005	DBLP BibTeX RDF
22	Seth Bridges, Miguel E. Figueroa, David Hsu, Chris Diorio	A reconfigurable VLSI learning array.	ESSCIRC	2005	DBLP DOI BibTeX RDF
22	German Florez-Larrahondo, Susan Bridges, Eric A. Hansen	Incremental Estimation of Discrete Hidden Markov Models Based on a New Backward Procedure.	AAAI	2005	DBLP BibTeX RDF
22	German Florez-Larrahondo, Susan M. Bridges, Rayford B. Vaughn	Efficient Modeling of Discrete Events for Anomaly Detection Using Hidden Markov Models.	ISC	2005	DBLP DOI BibTeX RDF
22	Zhen Liu, Susan M. Bridges	Dynamic Learning of Automata from the Call Stack Log for Anomaly Detection.	ITCC (1)	2005	DBLP DOI BibTeX RDF
22	Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe	Online Critical Path Profiling for Parallel Applications.	CLUSTER	2005	DBLP DOI BibTeX RDF
22	Miguel E. Figueroa, Seth Bridges, David Hsu, Chris Diorio	A 19.2 GOPS mixed-signal filter with floating-gate adaptation.	IEEE J. Solid State Circuits	2004	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	A General Constructive Proof Technique.	CCA	2004	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	Corrigendum to "A proof - technique in uniform space theory".	J. Symb. Log.	2004	DBLP DOI BibTeX RDF
22	Douglas S. Bridges	Constructive complements of unions of two closed sets.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
22	Douglas S. Bridges	First steps in constructive game theory.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
22	German Florez, Zhen Liu, Susan Bridges, Rayford B. Vaughn, Anthony Skjellum	Detecting Anomalies in High-Performance Parallel Programs.	J. Digit. Inf. Manag.	2004	DBLP BibTeX RDF
22	Ambareen Siraj, Rayford B. Vaughn, Susan M. Bridges	Decision Making For Network Health Assessment In An Intelligent Intrusion Detection System Architecture.	Int. J. Inf. Technol. Decis. Mak.	2004	DBLP DOI BibTeX RDF
22	Fiona E. Laine-Pearson, Thomas J. Bridges	Nonlinear Counterpropagating Waves, Multisymplectic Geometry, and the Instability of Standing Waves.	SIAM J. Appl. Math.	2004	DBLP DOI BibTeX RDF
22	Mitchell Metzger, K. Robert Bridges	Spectacles, Distinctiveness, and Face Recognition: A Web-Based Experiment.	Cyberpsychology Behav. Soc. Netw.	2004	DBLP DOI BibTeX RDF
22	Kambiz Rahimi, Seth Bridges, Chris Diorio	Timing Correction and Optimization with Adaptive Delay Sequential Element.	DATE	2004	DBLP DOI BibTeX RDF
22	Neil Vachharajani, Matthew J. Bridges, Jonathan Chang, Ram Rangan, Guilherme Ottoni, Jason A. Blome, George A. Reis, Manish Vachharajani, David I. August	RIFLE: An Architectural Framework for User-Centric Information-Flow Security.	MICRO	2004	DBLP DOI BibTeX RDF
22	Patrick G. Bridges, Arthur B. Maccabe	IMPuLSE: integrated monitoring and profiling for large-scale environments.	LCR	2004	DBLP DOI BibTeX RDF
22	Michael Ellims, James Bridges, Darrel C. Ince	Unit Testing in Practice.	ISSRE	2004	DBLP DOI BibTeX RDF
22	Ambareen Siraj, Rayford B. Vaughn, Susan Bridges	Intrusion Sensor Data Fusion in an Intelligent Intrusion Detection System Architecture.	HICSS	2004	DBLP DOI BibTeX RDF
22	Miguel E. Figueroa, Seth Bridges, Chris Diorio	On-Chip Compensation of Device-Mismatch Effects in Analog VLSI Neural Networks.	NIPS	2004	DBLP BibTeX RDF
22	German Florez, Zhen Liu, Susan Bridges, Rayford B. Vaughn, Anthony Skjellum	Detecting Anomalies in High-Performance Parallel Programs.	ITCC (2)	2004	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	Strong and Uniform Continuity - the Uniform Space Case.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	A proof-technique in uniform space theory.	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
22	Luminita Vîta, Douglas S. Bridges	A constructive theory of point-set nearness.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	Apartness spaces as a framework for constructive topology.	Ann. Pure Appl. Log.	2003	DBLP DOI BibTeX RDF
22	Zhen Liu, Susan M. Bridges, Rayford B. Vaughn	Classification of anomalous traces of privileged and parallel programs by neural networks.	FUZZ-IEEE	2003	DBLP DOI BibTeX RDF
22	Miguel E. Figueroa, Seth Bridges, David Hsu, Chris Diorio	A 19.2GOPS, 20mW adaptive FIR filter.	ESSCIRC	2003	DBLP DOI BibTeX RDF
22	Mahmood Hossain, Susan M. Bridges, Rayford B. Vaughn Jr.	Adaptive intrusion detection with data mining.	SMC	2003	DBLP DOI BibTeX RDF
22	Ron Brightwell, Rolf Riesen, Keith D. Underwood, Trammell Hudson, Patrick G. Bridges, Arthur B. Maccabe	A Performance Comparison of Linux and a Lightweight Kernel.	CLUSTER	2003	DBLP DOI BibTeX RDF
22	Thomas J. Bridges, Gianne Derks	Linear Instability of Solitary Wave Solutions of the Kawahara Equation and Its Generalizations.	SIAM J. Math. Anal.	2002	DBLP DOI BibTeX RDF
22	Edoardo S. Biagioni, K. W. Bridges	The Application of Remote Sensor Technology To Assist the Recovery of Rare and Endangered Species.	Int. J. High Perform. Comput. Appl.	2002	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Peter Schuster 0001, Luminita Vîta	Apartness, Topology, and Uniformity: a Constructive View.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Nicholas Dudley Ward	Kernels of seminorms in constructive analysis.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
22	Leanne Allen, Thomas J. Bridges	Numerical exterior algebra and the compound matrix method.	Numerische Mathematik	2002	DBLP DOI BibTeX RDF
22	Douglas S. Bridges	Reality and Virtual Reality in Mathematics.	Bull. EATCS	2002	DBLP BibTeX RDF
22	Seth Bridges, Miguel E. Figueroa, David Hsu, Chris Diorio	Field-Programmable Learning Arrays.	NIPS	2002	DBLP BibTeX RDF
22	David Hsu, Seth Bridges, Miguel E. Figueroa, Chris Diorio	Adaptive Quantization and Density Estimation in Silicon.	NIPS	2002	DBLP BibTeX RDF
22	Dixie Hisley, Matthew J. Bridges, Lori L. Pollock	Static Interprocedural Slicing of Shared Memory Parallel Programs.	PDPTA	2002	DBLP BibTeX RDF
22	Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001	Compactness and Continuity, Constructively Revisited.	CSL	2002	DBLP DOI BibTeX RDF
22	Julia E. Hodges, Susan Bridges, Charles Sparrow, Govinda Weerakkody, Bo Tang 0001, Chen Jun, Jason Luo	Assessing the Performance of a Waste Characterization Expert System.	Appl. Artif. Intell.	2001	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Ayan Mahalanobis	Bounded Variation Implies Regulated: A Constructive Proof.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Robin Havea	A Constructive Version of the Spectral Mapping Theorem.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Vîta	Characterising Near Continuity Constructively.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Ayan Mahalanobis	Increasing, Nondecreasing, and Virtually Continuous Functions.	J. Autom. Lang. Comb.	2001	DBLP DOI BibTeX RDF
22	K. Krieg, Douglas J. Thomson, Gregory E. Bridges	Electrical probing of deep sub-micron integrated circuits using scanning probes.	Microelectron. Reliab.	2001	DBLP DOI BibTeX RDF
22	Jianxiong Luo, Susan Bridges, Rayford B. Vaugham	Fuzzy Frequent Episodes for Real-time Intrusion Detection.	FUZZ-IEEE	2001	DBLP DOI BibTeX RDF
22	Peter Schuster 0001, Luminita Vîta, Douglas S. Bridges	Apartness as a Relation Between Subsets.	DMTCS	2001	DBLP DOI BibTeX RDF
22	Douglas S. Bridges	Dini's Theorem: A Constructive Case Study.	DMTCS	2001	DBLP DOI BibTeX RDF
22	Patrick G. Bridges, Wen-Ke Chen, Matti A. Hiltunen, Richard D. Schlichting	Supporting Coordinated Adaption in Networked Systems.	HotOS	2001	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Robin Havea	A Constructive Analysis of a Proof that the Numerical Range is Convex.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
22	Jianxiong Luo, Susan Bridges	Mining fuzzy association rules and fuzzy frequency episodes for intrusion detection.	Int. J. Intell. Syst.	2000	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Ayan Mahalanobis	Sequential Continuity of Functions in Constructive Analysis.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
22	John H. Hartman, Larry L. Peterson, Andy C. Bavier, Peter A. Bigot, Patrick G. Bridges, Allen Brady Montz, Rob Piltz, Todd A. Proebsting, Oliver Spatscheck	Experiences building a communication-oriented JavaOS.	Softw. Pract. Exp.	2000	DBLP DOI BibTeX RDF
22	Bruce Wooley, Susan Bridges, Julia E. Hodges, Anthony Skjellum	Scaling the Data Mining Step in Knowledge Discovery Using Oceanographic Data.	IEA/AIE	2000	DBLP DOI BibTeX RDF
22	Douglas S. Bridges, Luminita Dediu	Weak-operator Continuity and the Existence Of Adjoints.	Math. Log. Q.	1999	DBLP DOI BibTeX RDF