Search results for "Reno"

Hits ?▲	Authors	Title	Venue	Year	Link
22	Stephanie Forrest	The case for evolvable software.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Aditya Kulkarni, Yu David Liu, Scott F. Smith 0001	Task types for pervasive atomicity.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt	Back to the futures: incremental parallelization of existing sequential runtime systems.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Toon Verwaest, Camillo Bruni, David Gurtner, Adrian Lienhard, Oscar Nierstrasz	Pinocchio: bringing reflection to life with first-class interpreters.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Michal Wegiel, Chandra Krintz	Cross-language, type-safe, and transparent object sharing for co-located managed runtimes.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Isil Dillig, Thomas Dillig, Alex Aiken	Symbolic heap abstraction with demand-driven axiomatization of memory invariants.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Nicholas Cameron 0001, James Noble 0001, Tobias Wrigstad	Tribal ownership.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Charlotte Herzeel, Pascal Costanza	Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Stephen Kou, Jens Palsberg	From OO to FPGA: fitting round objects into square hardware?	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou	Patterns and statistical analysis for understanding reduced resource computing.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu 0001, Yuanyuan Zhou 0001, Wenguang Chen, Weimin Zheng	Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Benjamin S. Lerner, Herman Venter, Dan Grossman	Supporting dynamic, third-party code customizations in JavaScript using aspects.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum	Monitor optimization via stutter-equivalent loop transformation.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Xin Qi 0012, Andrew C. Myers	Homogeneous family sharing.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Kazunori Ogata, Dai Mikurube, Kiyokuni Kawachiya, Scott Trent, Tamiya Onodera	A study of Java's non-Java memory.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu 0001	Instrumentation and sampling strategies for cooperative concurrency bug isolation.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Tudor Dumitras, Priya Narasimhan, Eli Tilevich	To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Kai Tian, Yunlian Jiang, Eddy Z. Zhang, Xipeng Shen	An input-centric paradigm for program dynamic optimizations.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Max Schäfer, Oege de Moor	Specifying and implementing refactorings.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Julien Mercadal, Quentin Enard, Charles Consel, Nicolas Loriant	A domain-specific approach to architecturing error handling in pervasive computing.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen	Concurrent programming with revisions and isolation types.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Jay A. McCarthy	The two-state solution: native and serializable continuations accord.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai	Automatic atomic region identification in shared memory SPMD programs.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Marco Servetto, Elena Zucca	MetaFJig: a meta-circular composition language for Java-like classes.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali	Parallel inclusion-based points-to analysis.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Samuel Davis, Gregor Kiczales	Registration-based language abstractions.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Andrew Sorensen, Henry J. Gardner	Programming with time: cyber-physical programming with impromptu.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Karl Klose, Klaus Ostermann	Modular logic metaprogramming.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman	Composable specifications for structured shared-memory communication.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Paul Adamczyk, Munawar Hafiz	The Tower of Babel did not fail.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Eyvind W. Axelsen, Stein Krogdahl, Birger Møller-Pedersen	Controlling dynamic module composition through an extensible meta-level API.	DLS	2010	DBLP DOI BibTeX RDF
22	Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff	Factor: a dynamic stack-based programming language.	DLS	2010	DBLP DOI BibTeX RDF
22	Laurence Tratt	Experiences with an icon-like expression evaluation system.	DLS	2010	DBLP DOI BibTeX RDF
22	T. Stephen Strickland, Matthias Felleisen	Contracts for first-class classes.	DLS	2010	DBLP DOI BibTeX RDF
22	Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle	Alias analysis for optimization of dynamic languages.	DLS	2010	DBLP DOI BibTeX RDF
22	Stefan Brunthaler 0001	Efficient interpretation using quickening.	DLS	2010	DBLP DOI BibTeX RDF
22	Salikh Zakirov, Shigeru Chiba, Etsuya Shibayama	Optimizing dynamic dispatch with fine-grained state tracking.	DLS	2010	DBLP DOI BibTeX RDF
22	Tom Van Cutsem, Mark S. Miller	Proxies: design principles for robust object-oriented intercession APIs.	DLS	2010	DBLP DOI BibTeX RDF
22	Hannes Mehnert	Extending Dylan's type system for better type inference and error detection.	ILC	2010	DBLP DOI BibTeX RDF
22	Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani	Managing continuations for proper tail recursion.	ILC	2010	DBLP DOI BibTeX RDF
22	Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa	Starvation-free heap size for replication-based incremental compacting garbage collection.	ILC	2010	DBLP DOI BibTeX RDF
22	François-René Rideau, Robert P. Goldman	Evolving ASDF: more cooperation, less coordination.	ILC	2010	DBLP DOI BibTeX RDF
22	Shingo Yuasa, Masahiro Yasugi	Validating low-level instructions for fixnums using BDDs.	ILC	2010	DBLP DOI BibTeX RDF
22	Roy M. Turner	LP/LISP: literate programming for Lisp.	ILC	2010	DBLP DOI BibTeX RDF
22	John Maraist	NST: a unit testing system for common Lisp.	ILC	2010	DBLP DOI BibTeX RDF
22	Eduardo Martins Guerra, Clovis Torres Fernandes, Fábio Fagundes Silveira	Architectural patterns for metadata-based frameworks usage.	PLoP	2010	DBLP DOI BibTeX RDF
22	Ognjen Sobajic, Mahmood Moussavi, Behrouz H. Far	Parameterized strategy pattern.	PLoP	2010	DBLP DOI BibTeX RDF
22	Christian Kohls	The structure of patterns.	PLoP	2010	DBLP DOI BibTeX RDF
22	Benjamin Schleinzer, Nobukazu Yoshioka	A security pattern for data integrity in P2P systems.	PLoP	2010	DBLP DOI BibTeX RDF
22	Christian Köppe	Observations on the observer pattern.	PLoP	2010	DBLP DOI BibTeX RDF
22	Linda Rising, Karl Rehmer	Patterns for sustainable development.	PLoP	2010	DBLP DOI BibTeX RDF
22	Robert S. Hanmer	Software rejuvenation.	PLoP	2010	DBLP DOI BibTeX RDF
22	Eunsuk Kang, Daniel Jackson 0001	Patterns for building dependable systems with trusted bases.	PLoP	2010	DBLP DOI BibTeX RDF
22	Kiran Kumar, Tadinada Vankata Prabhakar	Pattern-oriented knowledge model for architecture design.	PLoP	2010	DBLP DOI BibTeX RDF
22	Christoph Hannebauer, Vincent Wolff-Marting, Volker Gruhn	Towards a pattern language for FLOSS development.	PLoP	2010	DBLP DOI BibTeX RDF
22	Sebastian Günther 0003, Thomas Cleenewerck	Design principles for internal domain-specific languages: a pattern catalog illustrated by Ruby.	PLoP	2010	DBLP DOI BibTeX RDF
22	Anupama Sahu, Eduardo B. Fernández, Mihaela Cardei, Michael VanHilst	A pattern for a sensor node.	PLoP	2010	DBLP DOI BibTeX RDF
22	Jill O'Sullivan, Raul Zevallos	Patterns for online discussions.	PLoP	2010	DBLP DOI BibTeX RDF
22	Atzmon Hen-Tov, David H. Lorenz, Lena Nikolaev, Lior Schachter, Rebecca Wirfs-Brock, Joseph W. Yoder	Dynamic model evolution.	PLoP	2010	DBLP DOI BibTeX RDF
22	Shivanshu K. Singh, Mohamed E. Fayad	The AnyCorrectiveAction stable design pattern.	PLoP	2010	DBLP DOI BibTeX RDF
22	Hugo Sereno Ferreira, Filipe Figueiredo Correia, Joseph W. Yoder, Ademar Aguiar	Core patterns of object-oriented meta-architectures.	PLoP	2010	DBLP DOI BibTeX RDF
22	Ernst Oberortner, Uwe Zdun, Schahram Dustdar	Patterns for measuring performance-related QoS properties in service-oriented systems.	PLoP	2010	DBLP DOI BibTeX RDF
22	Vivek Babu Gondi	Secure chained observer pattern in distributed systems.	PLoP	2010	DBLP DOI BibTeX RDF
22	Michael Van Hilst, Eduardo B. Fernández	A pattern system of underlying theories for process improvement.	PLoP	2010	DBLP DOI BibTeX RDF
22	Cédric Bouhours, Hervé Leblanc, Christian Percebois	Sharing bad practices in design to improve the use of patterns.	PLoP	2010	DBLP DOI BibTeX RDF
22	Mary Lynn Manns, Linda Rising	Additional patterns for fearless change III.	PLoP	2010	DBLP DOI BibTeX RDF
22	André Vital Saúde, Ricardo A. S. S. Victório, Gabriel C. A. Coutinho	Persistent state pattern.	PLoP	2010	DBLP DOI BibTeX RDF
22	Lise B. Hvatum	Patterns for organizing PLoP.	PLoP	2010	DBLP DOI BibTeX RDF
22	Sebastian Günther 0003, Marco Fischer	Metaprogramming in Ruby: a pattern catalog.	PLoP	2010	DBLP DOI BibTeX RDF
22	Debarshi Chatterji, Beverly Massengill, Jason Oslin, Jeffrey C. Carver, Nicholas A. Kraft	Measuring the efficacy of code clone information: an empirical study.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Portia O'Callaghan	The API walkthrough method: a lightweight method for getting early feedback about an API.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Frank Schmager, Nicholas Cameron 0001, James Noble 0001	GoHotDraw: evaluating the Go programming language with design patterns.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Vincent Cavé, Zoran Budimlic, Vivek Sarkar	Comparing the usability of library vs. language approaches to task parallelism.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Rachel K. E. Bellamy, Bonnie E. John, John T. Richards, John Thomas	Using CogTool to model programming tasks.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Shane Markstrum	Staking claims: a history of programming language design claims and evidence: a positional work in progress.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Caitlin Sadowski, Jaeheon Yi	User evaluation of correctness conditions: a case study of cooperability.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Gilles Dubochet, Donna Malayeri	Improving API documentation for Java-like languages.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Paul A. Gross, Caitlin Kelleher	Toward transforming freely available source code into usable learning materials for end-users.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Thomas D. LaToza, Brad A. Myers	Hard-to-answer questions about code.	PLATEAU	2010	DBLP DOI BibTeX RDF
22	Khoa T. Phan, Tuan T. Tran, Duc D. Nguyen, Nam Thoai	MaxNet and TCP Reno/RED on Mice Traffic.	HPSC	2009	DBLP DOI BibTeX RDF
22		2008 Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, HAPTICS 2008, Reno, NE, USA, March 13-14, 2008	HAPTICS	2008	DBLP BibTeX RDF
22		IEEE Symposium on 3D User Interfaces, 3DUI 2008, Reno, Nevada, USA, 8-9 March, 2008	3DUI	2008	DBLP BibTeX RDF
22		IEEE Virtual Reality Conference 2008 (VR 2008), 8-12 March 2008, Reno, Nevada, USA, Proceedings	VR	2008	DBLP BibTeX RDF
22	Adam M. Brandt, Mark B. Colton	Toys in the Classroom: LEGO MindStorms as an Educational Haptics Platform.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Yuan Wang, Martin J. Turner, W. Terry Hewitt	Constructing and Evaluating Vibration Magnitude Models for Visualization.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Karlin Bark, Jason W. Wheeler, Sunthar Premakumar, Mark R. Cutkosky	Comparison of Skin Stretch and Vibrotactile Stimulation for Feedback of Proprioceptive Information.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Ganesh Sankaranarayanan, Blake Hannaford	Experimental Internet Haptic Collaboration using Virtual Coupling Schemes.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Anderson Maciel, Suvranu De	A New Line-based Algorithm for Real Time Haptic Interactions with Virtual Environments.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Vinithra Varadharajan, Roberta L. Klatzky, Bertram J. Unger, Robert H. Swendsen, Ralph L. Hollis	Haptic Rendering and Psychophysical Evaluation of a Virtual Three-Dimensional Helical Spring.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Gianni Bianchini, Marcello Orlandesi, Domenico Prattichizzo	Stability Analysis and Design of Multi-dimensional Haptic Systems.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Ankur Baheti, Sridhar Seshadri, Amrish Kumar, Govindarajan Srimathveeravalli, Thenkurussi Kesavadas, Khursid Guru	RoSS: Virtual Reality Robotic Surgical Simulator for the da Vinci Surgical System.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Martin J.-D. Otis, Marielle Mokhtari, Charles Tremblay, Denis Laurendeau, François-Michel De Rainville, Clément M. Gosselin	Hybrid Control with Multi-Contact Interactions for 6DOF Haptic Foot Platform on a Cable-Driven Locomotion Interface.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Mohsen Mahvash, James C. Gwilliam, Rahul Agarwal, Balázs Vágvölgyi, Li-Ming Su, David D. Yuh, Allison M. Okamura	Force-Feedback Surgical Teleoperator: Controller Design and Palpation Experiments.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Katherine J. Kuchenbecker, David Ferguson, Michael D. M. Kutzer, Matthew Moses, Allison M. Okamura	The Touch Thimble: Providing Fingertip Contact Feedback During Point-Force Haptic Interaction.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Dangxiao Wang, Yuru Zhang, Yu Wang	Analysis of registration accuracy for collocated haptic-visual display system.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Chaodong Li, Hua Yao, Jingjing Xu, Yanyan Zhang, Boqian Kuang	A plate tuning fork shaped tactile display using elastic waves.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Gerhard Schillhuber, Heinz Ulbrich	Haptic Simulation of Deformable Bodies with Consideration of the Human Sensation of Continuous Forces.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Ramazan Unal, Güllü Kiziltas, Volkan Patoglu	A Multi-criteria Design Optimization Framework for Haptic Interfaces.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Brian T. Gleeson, William R. Provancher	Toward Developing a Velocity Controlled Tactile Impact Display.	HAPTICS	2008	DBLP DOI BibTeX RDF
22	Mitsunori Tada, Dinesh K. Pai	Finger Shell: Predicting Finger Pad Deformation under Line Loading.	HAPTICS	2008	DBLP DOI BibTeX RDF