Search results for "Polaris"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Vassos Soteriou, Noel Eisley, Hangsheng Wang, Bin Li 0018, Li-Shiuan Peh	Polaris: A System-Level Roadmapping Toolchain for On-Chip Interconnection Networks.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
92	Alexander J. DeWitt, Jasna Kuljis	Aligning usability and security: a usability study of Polaris.	SOUPS	2006	DBLP DOI BibTeX RDF	HCI-SEC, Polaris, usable security
75	Chris Stolte, Diane Tang, Pat Hanrahan	Query, analysis, and visualization of hierarchically structured data using Polaris.	KDD	2002	DBLP DOI BibTeX RDF
59	Michael H. Bowling, Nicholas Abou Risk, Nolan Bard, Darse Billings, Neil Burch, Joshua Davidson, John Alexander Hawkin, Robert Holte, Michael Johanson, Morgan Kan, Bryce Paradis, Jonathan Schaeffer, David Schnizlein, Duane Szafron, Kevin Waugh, Martin Zinkevich	A demonstration of the Polaris poker system.	AAMAS (2)	2009	DBLP BibTeX RDF
59	Chris Stolte, Diane Tang, Pat Hanrahan	Polaris: a system for query, analysis, and visualization of multidimensional databases.	Commun. ACM	2008	DBLP DOI BibTeX RDF
59	Chris Stolte, Diane Tang, Pat Hanrahan	Polaris: A System for Query, Analysis, and Visualization of Multidimensional Relational Databases.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	database analysis, visualization formalism, multidimensional databases, Database visualization
59	Chris Stolte, Pat Hanrahan	Polaris: A System for Query, Analysis and Visualization of Multi-Dimensional Relational Databases.	INFOVIS	2000	DBLP DOI BibTeX RDF
51	Tomi Kokkonen, Nils Ehrenberg, Polaris Koi, Pii Telakivi, Tuomas Vesterinen	Beyond Robot Therapy: Embodied AI, Mental Healthcare, and Value Sensitive Design.	Robophilosophy	2022	DBLP DOI BibTeX RDF
49	William Blume, Rudolf Eigenmann	Symbolic range propagation.	IPPS	1995	DBLP DOI BibTeX RDF	symbolic range propagation, arbitrary symbolic expressions, Polaris, zero-trip loops, array sections, loop iteration-count estimation, lower bound, transformations, program test, program compilers, upper bound, parallelizing compiler, symbol manipulation, parallelising compilers
33	Peng Wu 0001, Albert Cohen 0001, Jay P. Hoeflinger, David A. Padua	Monotonic evolution: an alternative to induction variable substitution for dependence analysis.	ICS	2001	DBLP DOI BibTeX RDF
33	Angeles G. Navarro, Emilio L. Zapata, Yunheung Paek, David A. Padua	Compiler Techniques for Effective Communication on Distributed-Memory Multiprocessors.	ICPP	1997	DBLP DOI BibTeX RDF	Parallelization, Compiler, Data Distribution, Communication Analysis
26	Maria Teresa Baldassarre, Domenico Gigante, Marcos Kalinowski, Azzurra Ragone	POLARIS: A framework to guide the development of Trustworthy AI systems.	CoRR	2024	DBLP DOI BibTeX RDF
26	Subhabrata Mukherjee, Paul Gamble, Markel Sanz Ausin, Neel Kant, Kriti Aggarwal, Neha Manjunath, Debajyoti Datta, Zhengliang Liu, Jiayuan Ding, Sophia Busacca, Cezanne Bianco, Swapnil Sharma, Rae Lasko, Michelle Voisard, Sanchay Harneja, Darya Filippova, Gerry Meixiong, Kevin Cha, Amir Youssefi, Meyhaa Buvanesh, Howard Weingram, Sebastian Bierman-Lytle, Harpreet Singh Mangat, Kim Parikh, Saad Godil, Alex Miller	Polaris: A Safety-focused LLM Constellation Architecture for Healthcare.	CoRR	2024	DBLP DOI BibTeX RDF
26	Joshua Auld, Jamie Cook, Krishna Murthy Gurumurthy, Nazmul Arefin Khan, Charbel Mansour, Aymeric Rousseau, Olcay Sahin, Felipe de Souza, Ömer Verbas, Natalia Zuniga-Garcia	Large-Scale Evaluation of Mobility, Technology and Demand Scenarios in the Chicago Region Using POLARIS.	CoRR	2024	DBLP DOI BibTeX RDF
26	Josep Aguilar-Saborit, Raghu Ramakrishnan 0001, Kevin Bocksrocker, Alan Halverson, Konstantin Kosinsky, Ryan O'Connor, Nadejda Poliakova, Moe Shafiei, Taewoo Kim, Phil Kon-Kim, Haris Mahmud-Ansari, Blazej Matuszyk, Matt Miles, Sumin Mohanan, Cristian Petculescu, Ishan Rahesh-Madan, Emma Rose-Wirshing, Elias Yousefi	Extending Polaris to Support Transactions.	CoRR	2024	DBLP DOI BibTeX RDF
26	Kenta Okamoto, Akihisa Nagata, Kyoma Arai, Yusei Nagao, Tatsuki Nishimura, Kento Hirogaki, Shunya Tanaka, Masato Kobayashi, Tatsuya Sanada, Masaya Kataoka	OUXT Polaris: Autonomous Navigation System for the 2022 Maritime RobotX Challenge.	CoRR	2023	DBLP DOI BibTeX RDF
26	Chenhao Ye, Wuh-Chwen Hwang, Keren Chen, Xiangyao Yu	Polaris: Enabling Transaction Priority in Optimistic Concurrency Control.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
26	Zhe Zhou, Shuotao Xu, Yiqi Chen, Tao Zhang, Ran Shu 0001, Lei Qu, Peng Cheng, Yongqiang Xiong, Guangyu Sun 0003	Polaris: Enhancing CXL-based Memory Expanders with Memory-side Prefetching.	APPT	2023	DBLP DOI BibTeX RDF
26	Shihui Fu, Guang Gong	Polaris: Transparent Succinct Zero-Knowledge Arguments for R1CS with Efficient Verifier.	Proc. Priv. Enhancing Technol.	2022	DBLP DOI BibTeX RDF
26	Jizhou Huang, Haifeng Wang 0001, Yibo Sun, Yunsheng Shi, Zhengjie Huang, An Zhuo, Shikun Feng	POLARIS: A Geographic Pre-trained Model and its Applications in Baidu Maps.	CoRR	2022	DBLP DOI BibTeX RDF
26	Jiahong Shao, Qijia Yu	Polaris for the Lost in Quantitative Investment.	ICIS	2022	DBLP DOI BibTeX RDF
26	Sam Bilbow	Evaluating polaris~ - An Audiovisual Augmented Reality Experience Built on Open-Source Hardware and Software.	NIME	2022	DBLP DOI BibTeX RDF
26	Thomas W. Pusztai, Stefan Nastic, Andrea Morichetta 0002, Victor Casamayor-Pujol, Philipp Raith, Schahram Dustdar, Deepak Vij, Ying Xiong, Zhaobo Zhang	Polaris Scheduler: SLO- and Topology-aware Microservices Scheduling at the Edge.	UCC	2022	DBLP DOI BibTeX RDF
26	Nicolò Bartelucci, Paolo Bellavista, Thomas W. Pusztai, Andrea Morichetta 0002, Schahram Dustdar	High-Level Metrics for Service Level Objective-aware Autoscaling in Polaris: a Performance Evaluation.	ICFEC	2022	DBLP DOI BibTeX RDF
26	Gabriele Civitarese, Timo Sztyler, Daniele Riboni, Claudio Bettini, Heiner Stuckenschmidt	POLARIS: Probabilistic and Ontological Activity Recognition in Smart-Homes.	IEEE Trans. Knowl. Data Eng.	2021	DBLP DOI BibTeX RDF
26	Stefan Nastic, Thomas W. Pusztai, Andrea Morichetta 0002, Victor Casamayor-Pujol, Schahram Dustdar, Deepak Vij, Ying Xiong	Polaris Scheduler: Edge Sensitive and SLO Aware Workload Scheduling in Cloud-Edge-IoT Clusters.	CLOUD	2021	DBLP DOI BibTeX RDF
26	Evan Seitz, Joachim Frank	POLARIS: Path of Least Action Analysis on Energy Landscapes.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
26	Josep Aguilar-Saborit, Raghu Ramakrishnan 0001	POLARIS: The Distributed SQL Engine in Azure Synapse. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
26	Amna Mazen, Mariam Faied, Mohan Krishnan 0001, Utayba Mohammed, Mark J. Paulik	Intersection Mobility for Polaris Car.	VTC Fall	2020	DBLP DOI BibTeX RDF
26	Ravi Netravali, Ameesh Goyal, James Mickens, Hari Balakrishnan	Polaris: Faster Page Loads Using Fine-grained Dependency Tracking.	NSDI	2016	DBLP BibTeX RDF
26	Bas Jansen	Polaris: Providing context aware navigation in spreadsheets.	VL/HCC	2016	DBLP DOI BibTeX RDF
26	Nan Zhang, Jianhua Feng	Polaris: A Fingerprint-Based Localization System over Wireless Networks.	WAIM	2012	DBLP DOI BibTeX RDF
26	Dante I. Tapia, Óscar García, Ricardo S. Alonso, Fabio Guevara, Jorge Catalina, Raúl A. Bravo, Juan M. Corchado	Evaluating the n-Core Polaris Real-Time Locating System in an Indoor Environment.	PAAMS (Workshops)	2012	DBLP DOI BibTeX RDF
26	Zheng Sun, Aveek Purohit, Shijia Pan, Frank Mokaya, Raja Bose, Pei Zhang 0001	Polaris: getting accurate indoor orientations for mobile devices using ubiquitous visual patterns on ceilings.	HotMobile	2012	DBLP DOI BibTeX RDF
26	Óscar García, Ricardo S. Alonso, Dante I. Tapia, Fabio Guevara, Fernando de la Prieta, Raúl A. Bravo	A Maritime Piracy Scenario for the n-Core Polaris Real-Time Locating System.	DCAI	2012	DBLP DOI BibTeX RDF
26	Dan I. Moldovan, Eduardo Blanco 0002	Polaris: Lymba's Semantic Parser.	LREC	2012	DBLP BibTeX RDF
26	Rudolf Eigenmann	Polaris.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
26	Christo Wilson, Troy Steinbauer, Gang Wang 0011, Alessandra Sala, Haitao Zheng 0001, Ben Y. Zhao	Privacy, availability and economics in the Polaris mobile social network.	HotMobile	2011	DBLP DOI BibTeX RDF
26	Dante I. Tapia, Óscar García, Ricardo S. Alonso, Fabio Guevara, Jorge Catalina, Raúl A. Bravo, Juan M. Corchado	The n-Core Polaris Real-Time Locating System at the EvAAL Competition.	EvAAL	2011	DBLP DOI BibTeX RDF
26	Marc Stiegler, Alan H. Karp, Ka-Ping Yee, Tyler Close, Mark S. Miller	Polaris: virus-safe computing for Windows XP.	Commun. ACM	2006	DBLP DOI BibTeX RDF
26	Vassos Soteriou, Noel Eisley, Hangsheng Wang, Bin Li 0018, Li-Shiuan Peh	Polaris: A System-Level Roadmap for On-Chip Interconnection Networks.	ICCD	2006	DBLP DOI BibTeX RDF
26	Leslie P. Willcocks, Mary C. Lacity	IT Sourcing at Polaris: Risk, Creative Contracting, Business Advantage.	ECIS	1999	DBLP BibTeX RDF
26	Jeffrey D. Young, Anita S. Wagner	Polaris: Using HTML Clients and ActiveX Controls to Design an Online Library Catalog.	WebNet	1998	DBLP BibTeX RDF
26	Yunheung Paek, David A. Padua	Compiling for Scalable Multiprocessors with Polaris.	Parallel Process. Lett.	1997	DBLP DOI BibTeX RDF
26	Guglielmo Trentin	Telematics and on-line teacher training: the Polaris Project.	J. Comput. Assist. Learn.	1997	DBLP DOI BibTeX RDF
26	William Blume, Ramon Doallo, Rudolf Eigenmann, John Grout, Jay P. Hoeflinger, Thomas Lawrence, Jaejin Lee, David A. Padua, Yunheung Paek, William M. Pottenger, Lawrence Rauchwerger, Peng Tu	Parallel Programming with Polaris.	Computer	1996	DBLP DOI BibTeX RDF
26	William Blume, Rudolf Eigenmann, Keith Faigin, John Grout, Jaejin Lee, Thomas Lawrence, Jay P. Hoeflinger, David A. Padua, Yunheung Paek, Paul Petersen, William M. Pottenger, Lawrence Rauchwerger, Peng Tu, Stephen Weatherford	Restructuring Programs for High-Speed Computers with Polaris.	ICPP Workshop	1996	DBLP DOI BibTeX RDF
26	William M. Pottenger, Rudolf Eigenmann	Idiom Recognition in the Polaris Parallelizing Compiler.	International Conference on Supercomputing	1995	DBLP DOI BibTeX RDF
26	David A. Padua, Rudolf Eigenmann, Jay P. Hoeflinger	Automatic Program Restructuring for Parallel Computing and the Polaris Fortran Translator.	PPSC	1995	DBLP BibTeX RDF
26	Keith Faigin, Stephen Weatherford, Jay P. Hoeflinger, David A. Padua, Paul Petersen	The polaris internal representation.	Int. J. Parallel Program.	1994	DBLP DOI BibTeX RDF
26	William Blume, Rudolf Eigenmann, Keith Faigin, John Grout, Jay P. Hoeflinger, David A. Padua, Paul Petersen, William M. Pottenger, Lawrence Rauchwerger, Peng Tu, Stephen Weatherford	Polaris: Improving the Effectiveness of Parallelizing Compilers.	LCPC	1994	DBLP DOI BibTeX RDF
26	Frederick S. Lee, Zhen Tao Chu, Arieh Warshel	Microscopic and semimicroscopic calculations of electrostatic energies in proteins by the POLARIS and ENZYMIX programs.	J. Comput. Chem.	1993	DBLP DOI BibTeX RDF
26	T. Shinsha, T. Kubo, M. Hikosaka, K. Akiyama, Koichiro Ishihara	Polaris: Polarity propagation algorithm for combinational logic synthesis.	DAC	1984	DBLP BibTeX RDF
16	Richard Michael Grantham Wesley, Matthew Eldridge, Pawel Terlecki	An analytic data engine for visualization in tableau.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
16	Simi (Kamini) Bajaj, Shyamala Balram	Incorporating Software Testing as a Discipline in Curriculum of Computing Courses.	UNISCON	2009	DBLP DOI BibTeX RDF	Software testing education, testing training, Software Testing, Test management
16	Silvius Vasile Rus, Maikel Pennings, Lawrence Rauchwerger	Sensitivity analysis for automatic parallelization on multi-cores.	ICS	2007	DBLP DOI BibTeX RDF	parallelism, multicore, sensitivity analysis
16	Gabor Fichtinger, Jonathan Fiene, Christopher W. Kennedy, Gernot Kronreif, Iulian Iordachita, Danny Y. Song, Everette Clif Burdette, Peter Kazanzides	Robotic Assistance for Ultrasound Guided Prostate Brachytherapy.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
16	B. Feng, Howard C. Gifford, R. D. Beach, Guido Böning, Michael A. Gennert, Michael A. King	Use of Three-Dimensional Gaussian Interpolation in the Projector/Backprojector Pair of Iterative Reconstruction for Compensation of Known Rigid-Body Motion in SPECT.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
16	Johnnie Birch, Robert A. van Engelen, Kyle A. Gallivan, Yixin Shou	An empirical evaluation of chains of recurrences for array dependence testing.	PACT	2006	DBLP DOI BibTeX RDF	chains of recurrences, dependence testing, loop optimization
16	Pat Hanrahan	VizQL: a language for query, analysis and visualization.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	visualization, OLAP
16	Silvius Vasile Rus, Dongmin Zhang, Lawrence Rauchwerger	The Value Evolution Graph and its Use in Memory Reference Analysis.	IEEE PACT	2004	DBLP DOI BibTeX RDF
16	Michael McDougall, Rajeev Alur, Carl A. Gunter	A model-based approach to integrating security policies for embedded devices.	EMSOFT	2004	DBLP DOI BibTeX RDF	policy integration, smartcards, model based design, Java cards
16	Silvius Vasile Rus, Dongmin Zhang, Lawrence Rauchwerger	Automatic Parallelization Using the Value Evolution Graph.	LCPC	2004	DBLP DOI BibTeX RDF
16	Michael Voss, Eric Chiu, Patrick Man Yan Chow, Catherine Wong, Kevin Yuen 0001	An Evaluation of Auto-Scoping in OpenMP.	WOMPAT	2004	DBLP DOI BibTeX RDF
16	Silvius Vasile Rus, Lawrence Rauchwerger, Jay P. Hoeflinger	Hybrid Analysis: Static & Dynamic Memory Reference Analysis.	Int. J. Parallel Program.	2003	DBLP DOI BibTeX RDF	memory access representation, hybrid analysis, Automatic parallelization
16	Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou	Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances.	WSTFES	2003	DBLP DOI BibTeX RDF
16	Manuel Arenaz, Juan Touriño, Ramon Doallo	A GSA-based compiler infrastructure to extract parallelism from complex loops.	ICS	2003	DBLP DOI BibTeX RDF	GSA, loop-level kernel recognition, parallelizing compilers, strongly connected components
16	Sang Ik Lee, Troy A. Johnson, Rudolf Eigenmann	Cetus - An Extensible Compiler Infrastructure for Source-to-Source Transformation.	LCPC	2003	DBLP DOI BibTeX RDF
16	Michael Figl, Wolfgang Birkfellner, Christopher Ede, Johann Hummel, Rudolf Hanel, Franz Watzinger, Felix Wanschitz, Rolf Ewers, Helmar Bergmann	The Control Unit for a Head Mounted Operating Microscope Used for Augmented Reality Visualization in Computer Aided Sugery.	ISMAR	2002	DBLP DOI BibTeX RDF
16	Manuel Arenaz, Juan Touriño, Ramon Doallo	Towards Detection of Coarse-Grain Loop-Level Parallelism in Irregular Computations.	Euro-Par	2002	DBLP DOI BibTeX RDF
16	Silvius Vasile Rus, Lawrence Rauchwerger, Jay P. Hoeflinger	Hybrid analysis: static & dynamic memory reference analysis.	ICS	2002	DBLP DOI BibTeX RDF	hybrid analysis, inter-procedural analysis, run-time parallelization, run-time analysis
16	Hansang Bae, Rudolf Eigenmann	Performance Analysis of Symbolic Analysis Techniques for Parallelizing Compilers.	LCPC	2002	DBLP DOI BibTeX RDF
16	Michael Figl, Wolfgang Birkfellner, Franz Watzinger, Felix Wanschitz, Johann Hummel, Rudolf Hanel, Rolf Ewers, Helmar Bergmann	PC-Based Control Unit for a Head Mounted Operating Microscope for Augmented Reality Visualization in Surgical Navigation.	MICCAI (2)	2002	DBLP DOI BibTeX RDF
16	Peng Tu, David A. Padua	Automatic Array Privatization.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
16	Manuel Arenaz, Juan Touriño, Ramon Doallo	A Compiler Framework to Detect Parallelism in Irregular Codes.	LCPC	2001	DBLP DOI BibTeX RDF
16	Seon Wook Kim, Rudolf Eigenmann	The Structure of a Compiler for Explicit and Implicit Parallelism.	LCPC	2001	DBLP DOI BibTeX RDF
16	Seung-Jai Min, Seon Wook Kim, Michael Voss, Sang Ik Lee, Rudolf Eigenmann	Portable Compilers for OpenMP.	WOMPAT	2001	DBLP DOI BibTeX RDF
16	Eldon C. Hall	From the Farm to Pioneering with Digital Control Computers: An Autobiography.	IEEE Ann. Hist. Comput.	2000	DBLP DOI BibTeX RDF
16	Lynn Choi, Pen-Chung Yew	Compiler Analysis for Cache Coherence: Interprocedural Array Data-Flow Analysis and Its Impact on Cache Performance.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Compiler, shared-memory multiprocessors, data-flow analysis, cache coherence, interprocedural analysis
16	Lynn Choi, Pen-Chung Yew	Hardware and Compiler-Directed Cache Coherence in Large-Scale Multiprocessors: Design Considerations and Performance Study.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	performance evaluation, compiler, Computer architecture, shared-memory multiprocessors, cache coherence, memory systems
16	Hao Yu 0008, Lawrence Rauchwerger	Techniques for Reducing the Overhead of Run-Time Parallelization.	CC	2000	DBLP DOI BibTeX RDF
16	Eladio Gutiérrez, Oscar G. Plata, Emilio L. Zapata	A compiler method for the parallel execution of irregular reductions in scalable shared memory multiprocessors.	ICS	2000	DBLP DOI BibTeX RDF
16	Michael Voss, Rudolf Eigenmann	ADAPT: Automated De-Coupled Adaptive Program Transformation.	ICPP	2000	DBLP DOI BibTeX RDF
16	Eladio Gutiérrez, Oscar G. Plata, Emilio L. Zapata	On Automatic Parallelization of Irregular Reductions on Scalable Shared Memory Systems.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	Michael Voss, Rudolf Eigenmann	Reducing Parallel Overheads Through Dynamic Serialization.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
16	Calin Cascaval, Luiz De Rose, David A. Padua, Daniel A. Reed	Compile-Time Based Performance Prediction.	LCPC	1999	DBLP DOI BibTeX RDF
16	William Blume, Rudolf Eigenmann	Nonlinear and Symbolic Data Dependence Testing.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Data-dependence test, optimizing compilers, program parallelization
16	Richard L. Kennell, Rudolf Eigenmann	Automatic Parallelization of C by Means of Language Transcription.	LCPC	1998	DBLP DOI BibTeX RDF
16	Fabrice Chassat, Stéphane Lavallée	Experimental Protocol for Accuracy Evaluation of 6-d Localizers for Computer-Integrated Surgery: Application to Four Optical Localizers.	MICCAI	1998	DBLP DOI BibTeX RDF
16	James Smith 0001, Giovanni De Micheli	Automated Composition of Hardware Components.	DAC	1998	DBLP DOI BibTeX RDF	reconstruction, emulation, visibility, functional simulation
16	Lynn Choi, Pen-Chung Yew	Eliminating Stale Data References through Array Data-Flow Analysis.	IPPS	1996	DBLP DOI BibTeX RDF
16	Lynn Choi, Pen-Chung Yew	Compiler and Hardware Support for Cache Coherence in Large-Scale Multiprocessors: Design Considerations and Performance Study.	ISCA	1996	DBLP DOI BibTeX RDF
16	William Blume, Rudolf Eigenmann	The range test: a dependence test for symbolic, non-linear expressions.	SC	1994	DBLP DOI BibTeX RDF