Search results for "reimplementation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Richard C. Waters	Program Translation via Abstraction and Reimplementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	abstract understanding, reimplementation, Programmer's Apprentice, Hibol, business data processing language, PDP-11 object code, Pascal programs, data structures, data structures, compilers, knowledge based system, expert systems, Pascal, translator, program compilers, Cobol, COBOL, program interpreters
48	Yossi Cohen, Yishai A. Feldman	Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	Database program reengineering, the plan calculus, temporal abstraction, query graphs
31	Neng Huang, Heng Li	compleasm: a faster and more accurate reimplementation of BUSCO.	Bioinform.	2023	DBLP DOI BibTeX RDF
31	Nathaniel Kremer-Herman, Ankur Gupta	Replacing Sugarscape: A Comprehensive, Expansive, and Transparent Reimplementation.	SimuTools	2023	DBLP DOI BibTeX RDF
31	Russ Abbott, Jungsoo Lim	PyLogo: A Python Reimplementation of (Much of) NetLogo.	SIMULTECH	2021	DBLP DOI BibTeX RDF
31	Antonia Lock, Kim Rutherford, Midori A. Harris, Jacqueline Hayles, Stephen G. Oliver, Jürg Bähler, Valerie Wood	PomBase 2018: user-driven reimplementation of the fission yeast database provides rapid and intuitive access to diverse, interconnected information.	Nucleic Acids Res.	2019	DBLP DOI BibTeX RDF
31	Yuandong Tian, Jerry Ma, Qucheng Gong, Shubho Sengupta, Zhuoyuan Chen, James Pinkerton, C. Lawrence Zitnick	ELF OpenGo: An Analysis and Open Reimplementation of AlphaZero.	CoRR	2019	DBLP BibTeX RDF
31	Yuandong Tian, Jerry Ma, Qucheng Gong, Shubho Sengupta, Zhuoyuan Chen, James Pinkerton, Larry Zitnick	ELF OpenGo: an analysis and open reimplementation of AlphaZero.	ICML	2019	DBLP BibTeX RDF
31	Hongyi Huang	Reimplementation and Reinterpretation of the Copycat Project.	CoRR	2018	DBLP BibTeX RDF
31	Alejandro Moreo, Andrea Esuli, Fabrizio Sebastiani 0001	Revisiting Distributional Correspondence Indexing: A Python Reimplementation and New Experiments.	CoRR	2018	DBLP BibTeX RDF
31	Raphael Tang, Jimmy Lin	Honk: A PyTorch Reimplementation of Convolutional Neural Networks for Keyword Spotting.	CoRR	2017	DBLP BibTeX RDF
31	Joel Lehman, Kenneth O. Stanley	Investigating Biological Assumptions through Radical Reimplementation.	Artif. Life	2015	DBLP DOI BibTeX RDF
31	Tommaso Stella, C. Francone, Sevim Seda Yamaç, Enrico Ceotto, Valentina Pagani, Roberto Pilu, Roberto Confalonieri 0002	Reimplementation and reuse of the Canegro model: From sugarcane to giant reed.	Comput. Electron. Agric.	2015	DBLP DOI BibTeX RDF
31	Antonio Moreno-Delgado, Francisco Durán 0001, Steffen Zschaler, Javier Troya	Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio.	ECMFA	2014	DBLP DOI BibTeX RDF
31	Joel Lehman, Kenneth O. Stanley	Exploring Biological Intelligence through Artificial Intelligence and Radical Reimplementation.	AAAI Fall Symposia	2013	DBLP BibTeX RDF
31	Jean-Michel Hufflen	Lessons from a Bibliography Program's Reimplementation.	LDTA@ETAPS	2002	DBLP DOI BibTeX RDF
17	Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre	High-level symbolic simulation for automatic model extraction.	DDECS	2009	DBLP DOI BibTeX RDF
17	Niels Brouwers, Koen Langendoen, Peter Corke	Darjeeling, a feature-rich VM for the resource poor.	SenSys	2009	DBLP DOI BibTeX RDF	wireless sensor networks, Java, virtual machines
17	Kevin Klues, Chieh-Jan Mike Liang, Jeongyeup Paek, Razvan Musaloiu-Elefteri, Philip Alexander Levis, Andreas Terzis, Ramesh Govindan	TOSThreads: thread-safe and non-invasive preemption in TinyOS.	SenSys	2009	DBLP DOI BibTeX RDF	sensor networks, multi-threading, TinyOS
17	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
17	Juan Antonio Holgado Terriza, Jaime Viúdez-Aivar	A flexible Java framework for embedded systems.	JTRES	2009	DBLP DOI BibTeX RDF	Java, embedded systems, framework, flexibility, microcontroller
17	Konrad Bojar, Mariusz Nieniewski	Mathematical Morphology (MM) Features for Classification of Cancerous Masses in Mammograms.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
17	Francisco Javier Díaz, Ivana Harari, Paola Amadeo	Evaluating the Usability of the Mobile Interface of an Educational Website.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
17	Martin Theobald, Mohammed AbuJarour, Ralf Schenkel	TopX 2.0 at the INEX 2008 Efficiency Track.	INEX	2008	DBLP DOI BibTeX RDF
17	Shiwa S. Fu, Jeaha Yang, Jim Laredo, Ying Huang, Henry Chang, Santhosh Kumaran, Jen-Yao Chung, Yury Kosov	Solution Templates Tool for Enterprise Business Applications Integration.	SUTC	2008	DBLP DOI BibTeX RDF	Solution Template, UCCnet, Platform Specific Model, RFID, Platform Independent Model
17	Shan Shan Huang, Yannis Smaragdakis	Expressive and safe static reflection with MorphJ.	PLDI	2008	DBLP DOI BibTeX RDF	class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions
17	Joseph D. Touch, Venkata K. Pingali	The RNA Metaprotocol.	ICCCN	2008	DBLP DOI BibTeX RDF
17	Klaus Krogmann, Ralf H. Reussner	Palladio - Prediction of Performance Properties.	CoCoME	2007	DBLP DOI BibTeX RDF
17	Gabriele Compostella, Donatella Lucchesi, Simone Pagan Griso, Igor Sfiligoi	CDF Monte Carlo Production on LCG Grid via LcgCAF Portal.	eScience	2007	DBLP DOI BibTeX RDF
17	Markus Reitz, Ulrich Nögel	Components: a valuable investment for financial engineering, why derivative contracts should be active documents.	PPPJ	2006	DBLP DOI BibTeX RDF	component-orientation, derivative contracts, financial engineering, Java, Java, XML, Web 2.0, active documents
17	Jed Liu, Aaron Kimball, Andrew C. Myers	Interruptible iterators.	POPL	2006	DBLP DOI BibTeX RDF	JMatch, Java, logic programming, exception, coroutine
17	Volodymyr V. Kindratenko, David Pointer	A case study in porting a production scientific supercomputing application to a reconfigurable computer.	FCCM	2006	DBLP DOI BibTeX RDF
17	Werner Dilger, Steve Strangfeld	Properties of the bersini experiment on self-assertion.	GECCO	2006	DBLP DOI BibTeX RDF	affinity region, shape-space, affinity function
17	Mohammed Bani Younis, Georg Frey	A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.	ETFA	2006	DBLP DOI BibTeX RDF
17	Jeff Furlong, Atanas Radenski	Handling the subclassing anomaly with Object Teams.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	Java
17	Greg Stitt, Frank Vahid, Gordon McGregor, Brian Einloth	Hardware/software partitioning of software binaries: a case study of H.264 decode.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	FPGA, embedded systems, synthesis, H.264, hardware/software partitioning, binaries
17	Ralf Kollmann	Experiences with an Industrial Long-Term Reengineering Project.	WCRE	2004	DBLP DOI BibTeX RDF
17	István Zólyomi, Zoltán Porkoláb	Towards a General Template Introspection Library.	GPCE	2004	DBLP DOI BibTeX RDF
17	Sharon Johnson, Jia Mao, Eric Nickell, Ian Smith	Extreme Makeover: Bending the Rules to Reduce Risk Rewriting Complex Systems.	XP	2003	DBLP DOI BibTeX RDF
17	Scott E. Spetka, George O. Ramseyer, Richard W. Linderman	Redeveloping a high-Performance computing framework.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	CGICC, COS, web, distributed, refactoring, Linux, GLOBUS, JSP, CGI, FTP, corba
17	Joseph D. Touch, Venkata K. Pingali	DataRouter: A Network-Layer Service for Application-Layer Forwarding.	IWAN	2003	DBLP DOI BibTeX RDF
17	Patrick M. Widener, Karsten Schwan, Fabián E. Bustamante	Differential Data Protection for Dynamic Distributed Application.	ACSAC	2003	DBLP DOI BibTeX RDF
17	Gerald Ebner, Hermann Kaindl	Tracing All Around in Reengineering.	IEEE Softw.	2002	DBLP DOI BibTeX RDF	reverse engineering, Traceability, reengineering, legacy systems
17	Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella	NuSMV 2: An OpenSource Tool for Symbolic Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
17	Murat Guler, N. Scott Clements, Nidhi Kejriwal, Linda M. Wills, Bonnie S. Heck, George J. Vachtsevanos	Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
17	Kevin A. Schneider, James R. Cordy	AUI: A Programming Language for Developing Plastic Interactive Software.	HICSS	2002	DBLP DOI BibTeX RDF
17	Teruko Mitamura, Eric Nyberg, Kathryn L. Baker, Peter A. Cramer, Jeongwoo Ko, David Svoboda, Michael Duggan	The KANTOO MT System: Controlled Language Checker and Lexical Maintenance Tool.	AMTA	2002	DBLP DOI BibTeX RDF
17	Joshua S. Hodas, Naoyuki Tamura	lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic.	IJCAR	2001	DBLP DOI BibTeX RDF
17	Rainer Koster, Thorsten Kramp	Using Message-Based Threading for Multimedia Applications.	ICME	2001	DBLP DOI BibTeX RDF
17	Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri	NUSMV: A New Symbolic Model Checker.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Tools for technology transfer, Temporal logics, Symbolic model checking, Automatic verification
17	Frank Pfenning, Carsten Schürmann	System Description: Twelf - A Meta-Logical Framework for Deductive Systems.	CADE	1999	DBLP DOI BibTeX RDF
17	Rolf Drechsler, Dragan Jankovic, Radomir S. Stankovic	Generic Implementation of DD Packages in MVL.	EUROMICRO	1999	DBLP DOI BibTeX RDF
17	Barry Arons	SpeechSkimmer: A System for Interactively Skimming Recorded Speech.	ACM Trans. Comput. Hum. Interact.	1997	DBLP DOI BibTeX RDF	audio browsing, interactive listening, nonspeech audio, speech user interfaces, time compression, speech as data, speech skimming
17	Jörg Keller 0001, Thomas Rauber, Bernd Rederlechner	Conservative Circuit Simulation on Shared-Memory Multiprocessors.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	multiprefix operation, speedup estimation, shared memory multiprocessor, parallel random access machine (PRAM), circuit simulation, conservative simulation
17	Carlton Bickford, Marie S. Teo, Gary Wallace, John A. Stankovic, Krithi Ramamritham	A robotic assembly application on the Spring real-time system.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	printed circuit manufacture, printed circuit layout, robotic assembly application, Spring real-time system, run-time system support, predictability demands, robotic work-cell, circuit board assembly, user understanding, target hardware properties, process layout, resource layout, shared resource usage, process suspension, efficient run-time representation, real-time systems, robots, timing, completeness, flexibility, reengineering, timing analysis, circuit layout CAD, assembling, systems re-engineering, interprocess communication, program representation, porting, ease of use, industrial robots, software development tools
17	W. Keith Edwards	Session Management for Collaborative Applications.	CSCW	1994	DBLP DOI BibTeX RDF	Intermezzo, collaboration support environments, computer-supported cooperative work, session management
17	Michael B. Jones	Interposition Agents: Transparently Interposing User Code at the System Interface.	SOSP	1993	DBLP DOI BibTeX RDF
17	Alan Burns 0001, Andy J. Wellings, C. M. Bailey, E. Fyfe	The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation.	Ada-Europe	1993	DBLP DOI BibTeX RDF
17	Peter J. Weinberger	The UNIX eighth edition network file system.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF