Search results for "MARS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
168	Johannes Reisinger	Time driven operating systems: a case study on the MARS kernel.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
111	Shamim Begum, Meeta Sharma, Ahmed Helmy, Sandeep Gupta 0001	Systematic Testing of Protocol Robustness: Case Studies on Mobile IP and MARS.	LCN	2000	DBLP DOI BibTeX RDF	systematic testing of robustness by evaluation of synthesized scenarios, registration message, MARS server, forward search, multicast address resolution server protocol, protocol robustness, Internet, performance, mobile computing, complexity, protocols, asynchronous transfer mode, ATM, topologies, network topology, error, mobile IP, search problems, multicast communication, STRESS, IP-multicast, network servers, packet radio networks, MIP, MARS, event sequences, land mobile radio, test generation algorithm, home agent, asymptotic complexity
101	Matthew R. B. Hardy	The Mars project: PDF in XML.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	zip, XML, SVG, PDF, package, Mars
91	David J. Nott, Anthony Y. C. Kuk, Hiep Duc	Efficient sampling schemes for Bayesian MARS models with many predictors.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	multivariate adaptive regression splines, high-dimensional regression, Bayesian inference, Markov chain Monte Carlo, nonparametric regression
91	Efthimis N. Efthimiadis, Jens-Erik Mai	Puget sound's MARS (media asset retrieval systems) digital library.	JCDL	2002	DBLP DOI BibTeX RDF	access to broadcasts, corporation for public broadcasting (CPB), media asset management (MAM), metadata, video, audio
78	Andrew E. Johnson 0002, Reg G. Willson, Yang Cheng, Jay Goguen, Chris Leger, Miguel Sanmartin, Larry H. Matthies	Design Through Operation of an Image-Based Velocity Estimation System for Mars Landing.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	Mars lander, Mars Exploration Rover, DIMES, computer vision, robotics, feature tracking, velocity estimation
69	Max Bajracharya, Mark W. Maimone, Daniel M. Helmick	Autonomy for Mars Rovers: Past, Present, and Future.	Computer	2008	DBLP DOI BibTeX RDF
69	Mahendiran Prathaban, Joséphine Kohlenberg	Buffer Management Policy for Mars Intelligent Proximity Network.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Intelligent Proximity Network, Bundle Protocol, Performance, Buffer Management
69	Shengqi Ye, Yingjia He, Jianming Hu, Zuo Zhang	Short-Term Traffic Flow Forecasting Based on MARS.	FSKD (5)	2008	DBLP DOI BibTeX RDF
69	Nozar Tabrizi, Nader Bagherzadeh, Amir Hosein Kamalizad, Haitao Du	MaRS: a macro-pipelined reconfigurable system.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	2D-mesh network, multimedia, computer graphics, wireless communication, reconfigurable architectures, MIMD
69	Yuqing Gao, Bowen Zhou, Zijian Diao, Jeffrey S. Sorensen, Michael Picheny	MARS: A Statistical Semantic Parsing and Generation-Based Multilingual Automatic tRanslation System.	Mach. Transl.	2002	DBLP DOI BibTeX RDF
68	Jiashan Song, Yong Li, Feng Ji, Haoying Sun, Ying Zhu, Cheng Peng	The MARS-Based Research about Reliability Judgement of Members of Supply Chain Alliance.	WKDD	2008	DBLP DOI BibTeX RDF	Reliability, SCA, MARS
61	Steve Squyres	Interacting with robots on Mars: operation of the mars exploration rovers.	HRI	2009	DBLP DOI BibTeX RDF	keynote talk
60	Erzsébet Merényi, William H. Farrand, Philip Tracadas	Mapping Surface Materials on Mars from Mars Pathfinder Spectral Images with HYPEREYE.	ITCC (2)	2004	DBLP DOI BibTeX RDF	Martian surface, Mars Pathfinder, spectral image analysis, Self-Organizing Map
58	Christian Heipke, Heinrich Ebner, Ralph Schmidt, Michael Spiegel, Rüdiger Brand, Albert Baumgartner, Gerhard Neukum	Camera Orientation of Mars Express Using DTM Information.	DAGM-Symposium	2004	DBLP DOI BibTeX RDF
57	Robert O. Reynolds, Peter H. Smith, L. Stephen Bell, H. Uwe Keller	The design of Mars lander cameras for Mars Pathfinder, Mars Surveyor '98 and Mars Surveyor '01.	IEEE Trans. Instrum. Meas.	2001	DBLP DOI BibTeX RDF
55	Scott T. Crino, Donald E. Brown	Global Optimization With Multivariate Adaptive Regression Splines.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
55	Jayfus T. Doswell	Augmented Learning: Context-Aware Mobile Augmented Reality Architecture for Learning.	ICALT	2006	DBLP DOI BibTeX RDF
55	Amir Hosein Kamalizad, Nozar Tabrizi, Nader Bagherzadeh, Akira Hatanaka	A Programmable DSP Architecture for Wireless Communication Systems.	ASAP	2005	DBLP DOI BibTeX RDF
55	Glenn Pearson, Chan Moon	Bridging Two Biomedical Journal Databases with XML-A Case Study.	CBMS	2001	DBLP DOI BibTeX RDF
54	Ahmad Jalal, Mian Ahmad Zeb	Security and QoS Optimization for Distributed Real Time Environment.	CIT	2007	DBLP DOI BibTeX RDF	RIPEMD-160, IP Routing Protocol, Quality of Service (QoS), MARS
47	Andres Castano, Alex Fukunaga, Jeffrey J. Biesiadecki, Lynn Neakrase, Patrick L. Whelley, Ronald Greeley, Mark T. Lemmon, Rebecca Castaño, Steve A. Chien	Automatic detection of dust devils and clouds on Mars.	Mach. Vis. Appl.	2008	DBLP DOI BibTeX RDF	Rover, MER, Surveillance, Science
47	Bingsheng He, Wenbin Fang, Qiong Luo 0001, Naga K. Govindaraju, Tuyong Wang	Mars: a MapReduce framework on graphics processors.	PACT	2008	DBLP DOI BibTeX RDF	GPGPU, MapReduce, data parallelism, graphics processor, multi-core processors, web analysis
47	Xiaonan Ji, James Bailey 0001, Kotagiri Ramamohanarao	g-MARS: Protein Classification Using Gapped Markov Chains and Support Vector Machines.	PRIB	2008	DBLP DOI BibTeX RDF
47	Janet Vertesi	"Seeing like a rover": embodied experience on the mars exploration rover mission.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	embodied computing, usability, human-robot interaction, affect, social robotics, anthropomorphism
47	Lori Southard, Thomas M. Hoeg, Daniel W. Palmer, Jeffrey Antol, Richard M. Kolacinski, Roger D. Quinn	Exploring Mars Using a Group of Tumbleweed Rovers.	ICRA	2007	DBLP DOI BibTeX RDF
47	Rebecca Castaño, Kiri Wagstaff, Steve A. Chien, Timothy M. Stough, Benyang Tang	On-board analysis of uncalibrated data for a spacecraft at mars.	KDD	2007	DBLP DOI BibTeX RDF	on-board data mining, real-time data analysis, resource-constrained computing, lessons learned
47	Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta	Automatic Recognition of Landforms on Mars Using Terrain Segmentation and Classification.	Discovery Science	2006	DBLP DOI BibTeX RDF
47	Ricardo Olanda, Manolo Pérez, Pedro Morillo 0001, Marcos Fernández 0001, Sergio Casas 0001	Entertainment virtual reality system for simulation of spaceflights over the surface of the planet Mars.	VRST	2006	DBLP DOI BibTeX RDF	entertainment virtual reality, immersive visualization systems, terrain representation
47	Ananya Mukhopadhyay, Asif Iqbal	Comparison of ANN and MARS in Prediction of Property of Steel Strips.	WSC	2004	DBLP DOI BibTeX RDF
47	Juan Félix San-Juan, Sergio Serrano, Alberto Abad	Analytical Theory of Motion of a Mars Orbiter.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
47	Elias Sinderson, Vish Magapu, Ronald Mak	Middleware and Web Services for the Collaborative Information Portal of NASA's Mars Exploration Rovers Mission.	Middleware	2004	DBLP DOI BibTeX RDF
47	Ajith Abraham, Dan Steinberg	Is Neural Network a Reliable Forecaster on Earth? A MARS Query!	IWANN (2)	2001	DBLP DOI BibTeX RDF
47	Ajith Abraham, Dan Steinberg	MARS: Still an Alien Planet in Soft Computing?	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
47	Larry H. Matthies, Byron Chen, Jon Petrescu	Stereo Vision, Residual Image Processing and Mars Rover Localization.	ICIP (3)	1997	DBLP DOI BibTeX RDF
47	Alessandro Contessa, Eric Cousin, Christophe Coustet, Manuel Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng	MaRS, a Combinator Graph Reduction Multiprocessor.	PARLE (1)	1989	DBLP DOI BibTeX RDF
46	Jeffrey J. Biesiadecki, Chris Leger, Mark W. Maimone	Tradeoffs Between Directed and Autonomous Driving on the Mars Exploration Rovers.	ISRR	2005	DBLP DOI BibTeX RDF	Mars Rover, MER, Autonomy, Space Robotics, Mission Planning
44	Amedeo Cesta, Gabriella Cortellessa, Michel Denis, Alessandro Donati, Simone Fratini, Angelo Oddi, Nicola Policella, Erhard Rabenau, Jonathan Schulster	Mexar2: AI Solves Mission Planner Problems.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	extraterrestrial exploration, space vehicle communication, artificial intelligence, AI
44	Jayfus T. Doswell, M. Brian Blake, Jerome Butcher-Green	Mobile Augmented Reality System Architecture for Ubiquitous e-Learning.	WMTE	2006	DBLP DOI BibTeX RDF
44	Mark Grechanik, Dewayne E. Perry, Don S. Batory	Using AOP to Monitor and Administer Software for Grid Computing Environments.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
44	Ching-Yi Wang, Keshab K. Parhi	High-level DSP synthesis using concurrent transformations, scheduling, and allocation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
43	Tomasz F. Stepinski, Ricardo Vilalta, Soumya Ghosh	Machine Learning Tools for Automatic Mapping of Martian Landforms.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	machine learning, Mars
43	John R. Wright, Frank R. Hartman, Brian K. Cooper	Immersive Environment Technologies for Planetary Exploration.	VR	2001	DBLP DOI BibTeX RDF	Rover Control Workstation, JPL, visualization, terrain modelling, Immersive environments, Mars, Pathfinder
42	Michael Gorski, Thomas Knapke, Eik List, Stefan Lucks, Jakob Wenzel 0001	Mars Attacks! Revisited: - Differential Attack on 12 Rounds of the MARS Core and Defeating the Complex MARS Key-Schedule.	INDOCRYPT	2011	DBLP DOI BibTeX RDF
40	Clemens Dubslaff, Bas Luttik (eds.)	Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022.	MARS@ETAPS	2022	DBLP DOI BibTeX RDF
40	Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam	Advanced Models for the OSPF Routing Protocol.	MARS@ETAPS	2022	DBLP DOI BibTeX RDF
40	Lina Marsso, Radu Mateescu 0001, Lucie Muller, Wendelin Serwe	Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.	MARS@ETAPS	2022	DBLP DOI BibTeX RDF
40	Franco Mazzanti, Dimitri Belli	Formal Modeling and Initial Analysis of the 4SECURail Case Study.	MARS@ETAPS	2022	DBLP DOI BibTeX RDF
40	Arnd Hartmanns	An Overview of Modest Models and Tools for Real Stochastic Timed Systems.	MARS@ETAPS	2022	DBLP DOI BibTeX RDF
40	Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp	Modeling R3 Needle Steering in Uppaal.	MARS@ETAPS	2022	DBLP DOI BibTeX RDF
40	Sandra Johnson, David Hyland-Wood, Anders L. Madsen, Kerrie L. Mengersen	Stateful to Stateless: Modelling Stateless Ethereum.	MARS@ETAPS	2022	DBLP DOI BibTeX RDF
40	Ansgar Fehnker, Hubert Garavel (eds.)	Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Max J. Friese, Dirk Nowotka	Estimating End-to-End Latencies in Automotive Cyber-physical Systems.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös 0001	Simulation-based Safety Assessment of High-level Reliability Models.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Radu Mateescu 0001, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin	Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Clemens Dubslaff, Andrey Morozov 0001, Christel Baier, Klaus Janschek	Iterative Variable Reordering: Taming Huge System Families.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt, Johanna Sprenger, Marcel Bengs, Alexander Schlaefer, Sibylle Schupp	Synthesizing Strategies for Needle Steering in Gelatin Phantoms.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Hugues Evrard	Modeling the Raft Distributed Consensus Protocol in LNT.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Ryan Barry, Rob van Glabbeek, Peter Höfner	Formalising the Optimised Link State Routing Protocol.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Jack Drury, Peter Höfner, Weiyou Wang	Formal Models of the OSPF Routing Protocol.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Marc Bouissou, Shahid Khan 0002, Joost-Pieter Katoen, Pavel Krcál	Various Ways to Quantify BDMPs.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	Lina Marsso	Specifying a Cryptographical Protocol in Lustre and SCADE.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
40	John P. Gallagher, Rob van Glabbeek, Wendelin Serwe (eds.)	Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018.	MARS/VPT@ETAPS	2018	DBLP BibTeX RDF
40	Robert Glück	An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata.	MARS/VPT@ETAPS	2018	DBLP DOI BibTeX RDF
40	Josip Bozic, Lina Marsso, Radu Mateescu 0001, Franz Wotawa	A Formal TLS Handshake Model in LNT.	MARS/VPT@ETAPS	2018	DBLP DOI BibTeX RDF
40	Hubert Garavel, Lina Marsso	Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm.	MARS/VPT@ETAPS	2018	DBLP DOI BibTeX RDF
40	Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman	A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems.	MARS/VPT@ETAPS	2018	DBLP DOI BibTeX RDF
40	Franco Mazzanti, Alessio Ferrari 0001	Ten Diverse Formal Models for a CBTC Automatic Train Supervision System.	MARS/VPT@ETAPS	2018	DBLP DOI BibTeX RDF
40	Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders 0001, Mattias Ulbrich, Alexander Weigl	Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.	MARS/VPT@ETAPS	2018	DBLP DOI BibTeX RDF
40	Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz	Modeling a Cache Coherence Protocol with the Guarded Action Language.	MARS/VPT@ETAPS	2018	DBLP DOI BibTeX RDF
40	Holger Hermanns, Peter Höfner (eds.)	Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Marc Bouissou	A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Muhammad Usama Sardar, Osman Hasan	Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Hubert Garavel, Wendelin Serwe	The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta	Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Wojciech Mostowski, Thomas Arts, John Hughes 0001	Modelling of Autosar Libraries for Large Scale Testing.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Rob J. van Glabbeek, Peter Höfner	Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski	Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe	Formalizing Memory Accesses and Interrupts.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit	A Model-Derivation Framework for Software Analysis.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Hubert Garavel, Lina Marsso	A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Shruti Saini, Ansgar Fehnker	Evaluating the Stream Control Transmission Protocol Using Uppaal.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
40	Rob J. van Glabbeek, Jan Friso Groote, Peter Höfner (eds.)	Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.	MARS	2015	DBLP DOI BibTeX RDF
40	Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga	Modeling and Verification of the Bitcoin Protocol.	MARS	2015	DBLP DOI BibTeX RDF
40	Sidney Amani, Toby C. Murray	Specifying a Realistic File System.	MARS	2015	DBLP DOI BibTeX RDF
40	Franck Cassez, Pablo González de Aledo Marugán	Timed Automata for Modelling Caches and Pipelines.	MARS	2015	DBLP DOI BibTeX RDF
40	Wendelin Serwe	Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard.	MARS	2015	DBLP DOI BibTeX RDF
40	June Andronick, Corey Lewis, Carroll Morgan	Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System.	MARS	2015	DBLP DOI BibTeX RDF
40	Felix Freiberger, Holger Hermanns	On the Control of Self-Balancing Unicycles.	MARS	2015	DBLP DOI BibTeX RDF
40	Mooi Choo Chuah, Pan Hui (eds.)	Proceedings of the 2014 Workshop on Mobile Augmented Reality and Robotic Technology-Based Systems, MARS 2014, Bretton Woods, New Hampshire, USA, June 16, 2014	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Zhanpeng Huang, Weikai Li 0001, Pan Hui 0001, Christoph Peylo	CloudRidAR: a cloud-based architecture for mobile augmented reality.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Justin Manweiler	Cloud-based mobile augmented reality, pitfalls and strategies in a realtime deployment.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Henny Admoni	Toward a data-driven generative behavior model for human-robot interaction.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Zhuo Zhang 0009, Pan Hui 0001, Sanjeev R. Kulkarni, Christoph Peylo	Enabling an augmented reality ecosystem: a content-oriented survey.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Henny Admoni, Brian Scassellati	Demo: toward a data-driven generative behavior model for human-robot interaction.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Justin Manweiler, Mohammed (Ehsan) Hoque, David Chu, Mooi Choo Chuah	Panel: future trends and research issues in mobile augmented reality.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Kyle Hart, Corey Montella, Georges Petitpas, Dylan Schwesinger, Armon Shariati, Ben Sourbeer, Tyler Trephan, John R. Spletzer	RoSCAR: robot stock car autonomous racing.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Henny Admoni, Taskin Padir, Junehwa Song, Daniel M. Lofaro	Panel: future research trends in robotics technologies.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Zachary A. Daniels, Steven R. Stinson, Shenchi Tian, Evan Mulbry, Brian Yuan Chen	A gesture-based interface for the exploration and classification of protein binding cavities.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF
40	Christoph Noll, Bernhard Häussermann, Ute von Jan, Ulrike Raap, Urs-Vito Albrecht	Demo: mobile augmented reality in medical education: an application for dermatology.	MARS@MobiSys	2014	DBLP DOI BibTeX RDF