Search results for "GNU"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Ludovic Langevine, Pierre Deransart, Mireille Ducassé	A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.	CSCLP	2003	DBLP DOI BibTeX RDF
11	Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali	Learning Approximate Consistencies.	CSCLP	2003	DBLP DOI BibTeX RDF
11	Marko Mäkelä	Maria: Modular Reachability Analyser for Algebraic System Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
11	Darryl J. Genovesi, Lyle N. Long	An object-oriented approach to the DSMC method.	Java Grande	2002	DBLP DOI BibTeX RDF	DSMC, gas/fluid dynamics, Java, OOP
11	Changqing Fu, Kent D. Wilken	A faster optimal register allocator.	MICRO	2002	DBLP DOI BibTeX RDF
11	Ying Zou 0001, Kostas Kontogiannis	Quality Driven Transformation Compositions for Object Oriented Migration.	APSEC	2002	DBLP DOI BibTeX RDF
11	Ladan Tahvildari, Kostas Kontogiannis	A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph.	WCRE	2002	DBLP DOI BibTeX RDF
11	George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer	CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.	CC	2002	DBLP DOI BibTeX RDF
11	Andreas Zeller	Isolating cause-effect chains from computer programs.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	testing, program comprehension, tracing, automated debugging
11	Brad L. Hutchings, R. Franklin, D. Carver	Assisting Network Intrusion Detection with Reconfigurable Hardware.	FCCM	2002	DBLP DOI BibTeX RDF
11	Manuvir Das, Sorin Lerner, Mark Seigle	ESP: Path-Sensitive Program Verification in Polynomial Time.	PLDI	2002	DBLP DOI BibTeX RDF	error detection, dataflow analysis, path-sensitive analysis
11	Daniel C. DuVarney, S. Purushothaman Iyer	C Wolf - A Toolset for Extracting Models from C Programs.	FORTE	2002	DBLP DOI BibTeX RDF	Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs
11	Simon Dobrisek, Jerneja Gros, Bostjan Vesnicer, France Mihelic, Nikola Pavesic	A Voice-Driven Web Browser for Blind People.	TSD	2002	DBLP DOI BibTeX RDF
11	Andreas Festag, Lars Westerhoff, Adam Wolisz	The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
11	Ying Zou 0001, Kostas Kontogiannis	Migration to Object Oriented Platforms: A State Transformation Approach.	ICSM	2002	DBLP DOI BibTeX RDF
11	C. M. Tan, C. P. Tan, Weng-Fai Wong	Shell over a Cluster (SHOC): Towards Achieving Single System Image via the Shell.	CLUSTER	2002	DBLP DOI BibTeX RDF
11	Maghsoud Abbaspour, Jianwen Zhu	Retargetable binary utilities.	DAC	2002	DBLP DOI BibTeX RDF
11	Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers	Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.	Ada-Europe	2002	DBLP DOI BibTeX RDF
11	Naraig Manjikian	More enhancements of the simplescalar tool set.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF
11	Neophytos Neophytou, Paraskevas Evripidou	Net-dbx: A Web-Based Debugger of MPI Programs Over Low-Bandwidth Lines.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	WWW, Parallel processing, message passing, teleworking, Java applets, parallel debugging
11	Ik-Soon Kim, Kwang-Moo Choe	Error repair with validation in LR-based parsing.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	LR, least cost, Complexity, error recovery
11	Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu	User-Extensible Simplification - Type-Based Optimizer Generators.	CC	2001	DBLP DOI BibTeX RDF
11	Laurie A. Smith King, John Barr, Ben Coleman	What could be more SLic?: projects for the programming languages course.	SIGCSE	2001	DBLP DOI BibTeX RDF
11	Tim Dwyer, Peter Eckersley	WilmaScope - An Interactive 3D Graph Visualisation System.	GD	2001	DBLP DOI BibTeX RDF
11	Seon Wook Kim, Rudolf Eigenmann	The Structure of a Compiler for Explicit and Implicit Parallelism.	LCPC	2001	DBLP DOI BibTeX RDF
11	Lars Albertsson	Simulation-Based Debugging of Soft Real-Time Applications.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
11	Alok R. Chaturvedi, Jan Dickieson, Daniel R. Dolk, Hans Jochen Scholl	Agent-based Simulation and System Dynamics - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
11	Joel West, Jason L. Dedrick	Proprietary vs. Open Standards in the Network Era: An Examination of the Linux Phenomenon.	HICSS	2001	DBLP DOI BibTeX RDF	standards competition, open source, Linux
11	Peter van Beek, Kent D. Wilken	Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies.	CP	2001	DBLP DOI BibTeX RDF
11	Sibylle Schupp, Douglas P. Gregor, David R. Musser	Library Transformations.	SCAM	2001	DBLP DOI BibTeX RDF
11	Roger Bivand, Albrecht Gebhardt	Implementing functions for spatial statistical analysis using the R language.	J. Geogr. Syst.	2000	DBLP DOI BibTeX RDF
11	Timothy J. Hickey	Analytic Constraint Solving and Interval Arithmetic.	POPL	2000	DBLP DOI BibTeX RDF
11	Tommi Syrjänen	Including Diagnostic Information in Configuration Models.	Computational Logic	2000	DBLP DOI BibTeX RDF
11	Kent D. Wilken, Jack Liu, Mark Heffernan	Optimal instruction scheduling using integer programming.	PLDI	2000	DBLP DOI BibTeX RDF
11	Daniel Schulz, Frank Mueller 0001	A thread-aware debugger with an open interface.	ISSTA	2000	DBLP DOI BibTeX RDF	active debugging, open interface, concurrency, debugging, threads
11	David Leon, Andy Podgurski, Lee J. White	Multivariate visualization in observation-based testing.	ICSE	2000	DBLP DOI BibTeX RDF	software testing, data visualization, multivariate visualization, correspondence analysis, multivariate data analysis, observation-based testing
11	David A. Bader, Arthur B. Maccabe, Jason R. Mastaler, John K. McIver III, Patricia A. Kovatch	Design and Analysis of the Alliance/University of New Mexico Roadrunner Linux SMP SuperCluster.	IWCC	1999	DBLP DOI BibTeX RDF	cluster hardware, high performance communications networks and interfaces, lightweight communication protocols, issues in building scalable services, job and resource management, message passing systems for clusters, tools for operating and managing clusters, algorithms for solving problems on clusters, non-local clusters, symmetric multiprocessors
11	Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren	Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.	TACAS	1999	DBLP DOI BibTeX RDF
11	Kenjiro Taura, Kunio Tabata, Akinori Yonezawa	StackThreads/MP: Integrating Futures into Calling Standards.	PPoPP	1999	DBLP DOI BibTeX RDF
11	Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Vijay Sundaresan	Soot - a Java bytecode optimization framework.	CASCON	1999	DBLP BibTeX RDF	Java
11	James J. Hunt, Kiem-Phong Vo, Walter F. Tichy	Delta Algorithms: An Empirical Analysis.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	benchmark, differencing, delta encoding
11	Laurent Pautet, Samuel Tardieu	Inside the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
11	Grégory Duval, Thierry Cattel	From Architecture Down to Implementation of Safe Process Control Applications.	HICSS (1)	1997	DBLP DOI BibTeX RDF
11	Frank Mueller 0001	Supporting Ada 95 Passive Partitions in a Distributed Environment.	Ada-Europe	1997	DBLP DOI BibTeX RDF
11	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
11	Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky	The Concurrency Factory: A Development Environment for Concurrent Systems.	CAV	1996	DBLP DOI BibTeX RDF
11	Keith Marzullo, Michael Ogg, Aleta Ricciardi, Alessandro Amoroso, F. Andrew Calkins, Eric Rothfus	NILE: wide-area computing for high energy physics.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF
11	Hans-Juergen Boehm	Simple Garbage-Collector-Safety.	PLDI	1996	DBLP DOI BibTeX RDF
11	Uwe Wildner	Compiler Assisted Self-checking of Structural Integrity Using Return Address Hashing.	EDCC	1996	DBLP DOI BibTeX RDF
11	B. Noorduin, Jan van Katwijk, Cornelis Pronk	Gnass: a Gnat-based allocation and scheduling system.	RTCSA	1996	DBLP DOI BibTeX RDF	Gnass, Gnat-based allocation and scheduling system, Ada 95 programming language, flexible task scheduling, real-time multiprocessor applications, parallel processing, concurrent programming, processor allocation, timing requirements, Solaris
11	Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon	The GNARL Implementation of POSIX/Ada Signal Services.	Ada-Europe	1996	DBLP DOI BibTeX RDF
11	Asuman Dogac, Mehmet Altinel, Cetin Ozkan, Ilker Durusoy	Implementation Aspects of an Object-Oriented DBMS.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
11	Mary Jean Harrold, Loren Larsen, John Lloyd, David Nedved, Melanie Page, Gregg Rothermel, Manvinder Singh, Michael Smith 0023	Aristotle: a system for development of program analysis based tools.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
11	Tzer-Shyong Chen, Feipei Lai, Rung-Ji Shang	A Simple Tree Pattern Matching Algorithm for Code Generator.	COMPSAC	1995	DBLP DOI BibTeX RDF	Intermediate code, Compiler, Code generator, Instruction set, Tree pattern matching
11	William W. Carlson, Jesse M. Draper	Distributed Data Access in AC.	PPoPP	1995	DBLP DOI BibTeX RDF
11	J. Howard Johnson	Visualizing textual redundancy in legacy source.	CASCON	1994	DBLP BibTeX RDF
11	Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel	Efficient Construction of Program Dependence Graphs.	ISSTA	1993	DBLP DOI BibTeX RDF
11	Wade Henessey	WCL: Delivering Efficient Common Lisp Applications Under Unix.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	C, UNIX, Common Lisp
11	John Wood, Harold C. Grossman	Interprocedural register allocation for RISC machines.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Interprocedural Register Allocation, RISC Computer, Webs, Graph Coloring