Search results for "programmer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	James P. Zappen, Sibel Adali, Teresa M. Harrison	Developing a youth-services information system for city and county government: experiments in user-designer collaboration.	DG.O	2006	DBLP DOI BibTeX RDF	city government, county government, youth services, collaboration, communication, information system, user-centered design, participatory design, digital government, co-design, cooperative design
11	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
11	Thomas Nitsche 0001	Coordinating Computation with Communication.	COORDINATION	2006	DBLP DOI BibTeX RDF
11	David Willmor, Suzanne M. Embury	An intensional approach to the specification of test cases for database applications.	ICSE	2006	DBLP DOI BibTeX RDF	databases, software testing, database testing
11	Georgia Frantzeskou, Efstathios Stamatatos, Stefanos Gritzalis, Sokratis K. Katsikas	Effective identification of source code authors using byte-level information.	ICSE	2006	DBLP DOI BibTeX RDF	software forensics, source code authorship identification
11	Piotr Habela, Krzysztof Stencel, Kazimierz Subieta	Three-Level Object-Oriented Database Architecture Based on Virtual Updateable Views.	ADVIS	2006	DBLP DOI BibTeX RDF
11	Gérard Boudol	Shared-Variable Concurrency: A Proposal.	FSTTCS	2006	DBLP DOI BibTeX RDF
11	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell	Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C.	SCAM	2006	DBLP DOI BibTeX RDF
11	Lorin Hochstein, Victor R. Basili	An empirical study to compare two parallel programming models.	SPAA	2006	DBLP DOI BibTeX RDF	parallel programming, empirical study, MPI, message-passing, productivity, HPC, PRAM, effort, XMT
11	Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat	Combinatorial sketching for finite programs.	ASPLOS	2006	DBLP DOI BibTeX RDF	sketching, SAT
11	Swaroop Sridhar, Jonathan S. Shapiro	Type inference for unboxed types and first class mutability.	PLOS	2006	DBLP DOI BibTeX RDF	BitC, polymorphism, type inference, mutability
11	Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge	Plan patterns for declarative goals in AgentSpeak.	AAMAS	2006	DBLP DOI BibTeX RDF
11	Antonio Cunei, Jan Vitek	A new approach to real-time checkpointing.	VEE	2006	DBLP DOI BibTeX RDF	Java, real-time, virtual machine, checkpoint
11	Michael W. Hicks, Scott Nettles	Dynamic software updating.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	typed assembly language, Dynamic software updating
11	Gerardo Canfora, Aniello Cimitile, Corrado Aaron Visaggio	Empirical Study on the Productivity of the Pair Programming.	XP	2005	DBLP DOI BibTeX RDF
11	Erez Perelman, Trishul M. Chilimbi, Brad Calder	Variational Path Profiling.	IEEE PACT	2005	DBLP DOI BibTeX RDF
11	Michael F. Ringenburg, Dan Grossman	Preventing format-string attacks via automatic and efficient dynamic checking.	CCS	2005	DBLP DOI BibTeX RDF	dynamic checking, format-string attacks, white-lists, static analysis
11	Antonio Cunei, Jan Vitek	PolyD: a flexible dispatching framework.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, dispatching, multimethods, visitor pattern
11	Hernán Wilkinson, Maximo Prieto, Luciano Romeo	Arithmetic with measurements on dynamically-typed object-oriented languages.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	measurements, smalltalk, dynamic typed, arithmetic expressions, units
11	Stanley B. Lippman	C++/CLI: evolving C++ within the .NET platform.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF
11	Aaron R. Bradley, Zohar Manna	Termination and Invariance Analysis of Loops.	ATVA	2005	DBLP DOI BibTeX RDF
11	Jingling Xue	Compiler-Directed Scratchpad Memory Management.	ICESS	2005	DBLP DOI BibTeX RDF
11	Andrea Santoro, Francesco Quaglia	Transparent State Management for Optimistic Synchronization in the High Level Architecture.	PADS	2005	DBLP DOI BibTeX RDF
11	Elena Riccio Davidson, Thomas H. Cormen	Building on a Framework: Using FG for More Flexibility and Improved Performance in Parallel Programs.	IPDPS	2005	DBLP DOI BibTeX RDF
11	Chiyan Chen, Hongwei Xi	Combining programming with theorem proving.	ICFP	2005	DBLP DOI BibTeX RDF	applied type system, proof erasure, theorem proving, dependent types, ATS
11	David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman	Jungloid mining: helping to navigate the API jungle.	PLDI	2005	DBLP DOI BibTeX RDF	reuse, program synthesis, mining
11	Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson 0001	An analysis and visualization for revealing object sharing.	eTX	2005	DBLP DOI BibTeX RDF
11	Daniel E. Cooke, J. Nelson Rushton	Iterative and Parallel Algorithm Design from High Level Language Traces.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
11	Tamás Kozsik	Tutorial on Subtype Marks.	CEFP	2005	DBLP DOI BibTeX RDF
11	Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta	Typed Abstraction of Complex Network Compositions.	ICNP	2005	DBLP DOI BibTeX RDF
11	Tao Wang, Abhik Roychoudhury	Automated path generation for software fault localization.	ASE	2005	DBLP DOI BibTeX RDF	program comprehension, automated debugging
11	Zhiyi Huang 0001, Martin K. Purvis, Paul Werstein	Performance Evaluation of View-Oriented Parallel Programming.	ICPP	2005	DBLP DOI BibTeX RDF	View-based Consistency, View-Oriented Parallel Programming, Cluster Computing, Distributed Shared Memory
11	Soumya Banerjee, Ajith Abraham, Sang-Yong Han, Prabhat Kumar Mahanti	Soft Modeling of Group Dynamics and Behavioral Attributes.	WSTST	2005	DBLP DOI BibTeX RDF
11	Ravi Rajwar, Maurice Herlihy, Konrad K. Lai	Virtualizing Transactional Memory.	ISCA	2005	DBLP DOI BibTeX RDF
11	Thomas Repantis, Christos D. Antonopoulos, Vana Kalogeraki, Theodore S. Papatheodorou	A Case for Dynamic Page Migration in Multiple-Writer Software DSM Systems.	CLUSTER	2005	DBLP DOI BibTeX RDF
11	Zhiyi Huang 0001, Martin K. Purvis, Paul Werstein	Performance Comparison between VOPP and MPI.	PDCAT	2005	DBLP DOI BibTeX RDF	View-based Consistency, View-Oriented Parallel Programming, Message Passing Interface, Cluster Computing, Distributed Shared Memory
11	Delfina Malandrino, Pasquale Meo, Giuseppina Palmieri, Vittorio Scarano	AMIFAST: An Architecture for MIDI Flows as Sonification Tools.	IV	2004	DBLP DOI BibTeX RDF
11	Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
11	Miljan Vuletic, Laura Pozzi, Paolo Ienne	Dynamic Prefetching in the Virtual Memory Window of Portable Reconfigurable Coprocessors.	FPL	2004	DBLP DOI BibTeX RDF
11	Judith Bishop, R. Nigel Horspool	Developing principles of GUI programming using views.	SIGCSE	2004	DBLP DOI BibTeX RDF	event-based programming, XML, graphical user interfaces, platform independence
11	Alexandru Jugravu, Thomas Fahringer	JavaSymphony, a Programming Model for the Grid.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
11	Heikki Verta, Titos Saridakis	Detection of Heap Management Flaws in Component-Based Software.	EUROMICRO	2004	DBLP DOI BibTeX RDF
11	Christopher D. Rickett, Sung-Eun Choi, Bradford L. Chamberlain	Compiling High-Level Languages for Vector Architectures.	LCPC	2004	DBLP DOI BibTeX RDF
11	Hoon-Joon Kouh, Ki-Tae Kim, Sun-Moon Jo, Weon-Hee Yoo	Debugging of Java Programs Using HDT with Program Slicing.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
11	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden	GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
11	Fumiko Nagoya, Shaoying Liu, Yuting Chen	An Investigation of the Approach to Specification-Based Program Review through Case Studies.	ICECCS	2004	DBLP DOI BibTeX RDF
11	Zhiyi Huang 0001, Martin K. Purvis, Paul Werstein	View-Oriented Parallel Programming and View-Based Consistency.	PDCAT	2004	DBLP DOI BibTeX RDF
11	Paulo Ferreira 0001, Luís Veiga, Carlos Ribeiro	OBIWAN: Design and Implementation of a Middleware Platform.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Middleware, mobile agents, replication, security policies, distributed garbage collection
11	Allon Adir, Hagit Attiya, Gil Shurek	Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	PowerPC architecture, synchronization instructions, models, specification, consistency, Shared memory, multiprocessor systems, out-of-order execution
11	Mike Andrews	Signpost: Matching Program Behavior against Known Faults.	IEEE Softw.	2003	DBLP DOI BibTeX RDF
11	Christophe Rippert	Protection in flexible operating system architectures.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF
11	Thomas Vestdam	Elucidative Programming in open integrated development environments for Java.	PPPJ	2003	DBLP DOI BibTeX RDF	elucidative programming, Java, documentation, literate programming
11	Bil Lewis, Mireille Ducassé	Using events to debug Java programs backwards in time.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF
11	Shiyi Xu	Build-In-Self-Test for Software.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF	Software Testing, Design for Testability, Build-In-Self-Test (BIST)
11	Simon L. Peyton Jones, Ralf Lämmel	Scrap Your Boilerplate.	APLAS	2003	DBLP DOI BibTeX RDF
11	Vicraj T. Thomas, Andrew McMullen, Lee Graba	FT-Java: A Java-Based Framework for Fault-Tolerant Distributed Software.	OTM Workshops	2003	DBLP DOI BibTeX RDF
11	Darren Webb, Andrew L. Wendelborn	The PAGIS Grid Application Environment.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
11	Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton	Generic SBDD Using Computational Group Theory.	CP	2003	DBLP DOI BibTeX RDF
11	Sheikh Iqbal Ahamed	Experiences in Teaching an Object-oriented Design and Data Structure Course.	ITCC	2003	DBLP DOI BibTeX RDF	teaching a computer science class, algorithms, data structures, object-oriented design
11	Johann Oberleitner, Thomas Gschwind, Mehdi Jazayeri	The Vienna Component Framework Enabling Composition Across Component Models.	ICSE	2003	DBLP DOI BibTeX RDF
11	Steven P. Reiss	JIVE: Visualizing Java in Action Demonstration Description.	ICSE	2003	DBLP DOI BibTeX RDF
11	DeQing Chen, Chunqiang Tang, Brandon Sanders, Sandhya Dwarkadas, Michael L. Scott	Exploiting high-level coherence information to optimize distributed shared state.	PPoPP	2003	DBLP DOI BibTeX RDF
11	Kai Tan 0005, Duane Szafron, Jonathan Schaeffer, John Anvik, Steve MacDonald	Using generative design patterns to generate parallel code for a distributed memory environment.	PPoPP	2003	DBLP DOI BibTeX RDF	parallel programming, frameworks, design patterns, programming tools
11	Michael K. Chen, Kunle Olukotun	The Jrpm System for Dynamically Parallelizing Java Programs.	ISCA	2003	DBLP DOI BibTeX RDF
11	Tobin J. Lehman, James H. Kaufman	OptimalGrid: Middleware for Automatic Deployment of Distributed FEM Problems on an Internet-Based Computing Grid.	CLUSTER	2003	DBLP DOI BibTeX RDF
11	Géraud Krawezik	Performance comparison of MPI and three openMP programming styles on shared memory multiprocessors.	SPAA	2003	DBLP DOI BibTeX RDF	performance evaluation, MPI, multiprocessors, shared memory, openMP
11	Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente	Getting System Metrics Using POSIX Tracing Services.	Ada-Europe	2003	DBLP DOI BibTeX RDF
11	Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder	High-level Language Support for User-defined Reductions.	J. Supercomput.	2002	DBLP DOI BibTeX RDF	user-defined reductions, parallel programming, scientific computing, high-level languages
11	Oren Avissar, Rajeev Barua, Dave Stewart	An optimal memory allocation scheme for scratch-pad-based embedded systems.	ACM Trans. Embed. Comput. Syst.	2002	DBLP DOI BibTeX RDF	embedded, Memory, heterogeneous, storage, allocation
11	Wankang Zhao, Baosheng Cai, David B. Whalley, Mark W. Bailey, Robert van Engelen, Xin Yuan 0001, Jason Hiser, Jack W. Davidson, Kyle A. Gallivan, Douglas L. Jones	VISTA: a system for interactive code improvement.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	user-directed code improvement
11	Michael Factor, Assaf Schuster, Konstantin Shagin	Execution of monolithic Java programs on large non-dedicated collections of commodity workstations.	Java Grande	2002	DBLP DOI BibTeX RDF	high-level programming paradigm, non-dedicated environment, utilization of idle resources, fault tolerance, distributed shared memory
11	James Huw Evans, Peter Dickman	Peer-to-Peer Programming with Teaq.	NETWORKING Workshops	2002	DBLP DOI BibTeX RDF
11	Cormac Flanagan, Shaz Qadeer	Predicate abstraction for software verification.	POPL	2002	DBLP DOI BibTeX RDF
11	Sagar Chaki, Sriram K. Rajamani, Jakob Rehof	Types as models: model checking message-passing programs.	POPL	2002	DBLP DOI BibTeX RDF
11	Antonio Paulo Teles de Menezes Correia Leitao	A Formal Pattern Language for Refactoring of Lisp Programs.	CSMR	2002	DBLP DOI BibTeX RDF	Refactoring, Lisp, Pattern Languages
11	Yoonsik Cheon, Gary T. Leavens	A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.	ECOOP	2002	DBLP DOI BibTeX RDF
11	Christophe Rippert, Jean-Bernard Stefani	THINK: a secure distributed systems architecture.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
11	Joseph Burchfield, Samir Lipovaca	Using an APL approach with Java.	APL	2002	DBLP DOI BibTeX RDF
11	Omid Banyasad, Philip T. Cox	Solving Design Problems in a Logic-Based Visual Design Environment.	HCC	2002	DBLP DOI BibTeX RDF
11	Tomi Janhunen, Emilia Oikarinen	Testing the Equivalence of Logic Programs under Stable Model Semantics.	JELIA	2002	DBLP DOI BibTeX RDF
11	Radu Prodan, Thomas Fahringer	ZEN: A Directive-Based Language for Automatic Experiment Management of Distributed and Parallel Programs.	ICPP	2002	DBLP DOI BibTeX RDF
11	Thomas Fahringer, Alexandru Jugravu, Beniamino Di Martino, Salvatore Venticinque, Hans Moritsch	On the Evaluation of JavaSymphony for Cluster Applications.	CLUSTER	2002	DBLP DOI BibTeX RDF
11	Michael D. Beynon, Henrique Andrade, Joel H. Saltz	Low-Cost Non-Intrusive Debugging Strategies for Distributed Parallel Programs.	CLUSTER	2002	DBLP DOI BibTeX RDF
11	Domenico Laforenza	Programming High Performance Applications in Grid Environments.	PVM/MPI	2001	DBLP DOI BibTeX RDF
11	Suzanne M. Embury, Jianhua Shao 0001	Assisting the Comprehension of Legacy Transactions.	WCRE	2001	DBLP DOI BibTeX RDF	legacy transactions, program comprehension, symbolic execution, data reverse engineering
11	Russell Mosemann, Susan Wiedenbeck	Navigation and Comprehension of Programs by Novice Programmers.	IWPC	2001	DBLP DOI BibTeX RDF	navigation, empirical studies, Program comprehension, novice programmers
11	Michael P. O'Brien, Jim Buckley	Inference-Based and Expectation-Based Processing in Program Comprehension.	IWPC	2001	DBLP DOI BibTeX RDF
11	Thomas Eisenbarth 0003, Rainer Koschke, Daniel Simon	Feature-Driven Program Understanding Using Concept Analysis of Execution Traces.	IWPC	2001	DBLP DOI BibTeX RDF
11	Cristiano Calcagno, Peter W. O'Hearn	On Garbage and Program Logic.	FoSSaCS	2001	DBLP DOI BibTeX RDF
11	Katsuhisa Maruyama	Automated method-extraction refactoring by using block-based slicing.	SSR	2001	DBLP DOI BibTeX RDF
11	George Manis, L. Lymberopoulos, Nectarios Koziris, George K. Papakonstantinou	An Open Distributed Shared Memory System.	HPCN	2001	DBLP DOI BibTeX RDF
11	Michael W. Hicks, Jonathan T. Moore, Scott Nettles	Dynamic Software Updating.	PLDI	2001	DBLP DOI BibTeX RDF
11	Gerson G. H. Cavalheiro	A General Scheduling Framework for Parallel Execution Environments.	CCGRID	2001	DBLP DOI BibTeX RDF
11	Jean-Luc Gaudiot, Thomas DeBoni, John Feo, A. P. Wim Böhm, Walid A. Najjar, Patrick Miller	The Sisal Project: Real World Functional Programming.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
11	Takaichi Yoshida	Message Ordering Based on the Strength of Causal Relation.	ICOIN	2001	DBLP DOI BibTeX RDF
11	Andrew Eremin, Mark Wallace 0001	Hybrid Benders Decomposition Algorithms in Constraint Logic Programming.	CP	2001	DBLP DOI BibTeX RDF
11	Indrakshi Ray, Indrajit Ray	Detecting Termination of Active Database Rules Using Symbolic Model Checking.	ADBIS	2001	DBLP DOI BibTeX RDF
11	Marc González 0001, Eduard Ayguadé, Xavier Martorell, Jesús Labarta	Defining and Supporting Pipelined Executions in OpenMP.	WOMPAT	2001	DBLP DOI BibTeX RDF
11	Marc González 0001, Eduard Ayguadé, Xavier Martorell, Jesús Labarta	Complex Pipelined Executions in OpenMP Parallel Applications.	ICPP	2001	DBLP DOI BibTeX RDF
11	Katarzyna Keahey, Patricia K. Fasel, Susan M. Mniszewski	PAWS: Collective Interactions and Data Transfers.	HPDC	2001	DBLP DOI BibTeX RDF