OOPSLA - PDFSEARCH.IO - Document Search Engine

OOPSLA
Results: 78

#	Item
51	Page 1 of 6 Patterns: Spreading the Word by Linda Rising Software engineers are always casting about, examining other engineering Add to Reading List Source URL: web.lindarising.info Language: English - Date: 2012-02-06 15:55:03 Visual arts Software design patterns Architectural theory Object-oriented programming Linda Rising Jim Coplien Design Patterns OOPSLA Pattern language Design Software engineering Computing
52	´phane Ducasse Ste Senior Researcher (Directeur de recherche de premi`ere classe) INRIA Lille Nord Europe- LIFL/USTL - CNRS UMR8022 + [removed]56 Add to Reading List Source URL: stephane.ducasse.free.fr Language: English - Date: 2013-05-13 15:59:33 European Conference on Object-Oriented Programming Software visualization OOPSLA Oscar Nierstrasz Actor model Association for Computing Machinery Pharo Software architecture SIGPLAN Computing Computer science Software engineering
53	OOPSLA Wkshp. on Curricula for Concurrency, Orlando, FL, Oct[removed]Making the Simple Case Simple Michael L. Scott University of Rochester October 2009 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 17:41:56 Concurrency control Transaction processing Parallel computing Automatic parallelization Software transactional memory MultiLisp Transactional memory Thread Linearizability Computing Concurrent computing Computer programming
54	OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL), San Diego, CA, October 2005 A Scalable Elimination-based Exchange Channel William N. Scherer III Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 10:29:59 Concurrency Computer programming Transaction processing Thread Non-blocking algorithm Stack Concurrent data structure Lock Linearizability Concurrency control Computing Concurrent computing
55	Registration Information Last day for reduced rates: Thursday, 22 September 2010 Last day to advance register: Thursday, 14 October 2010 SIGPLAN Online Membership includes monthly SIGPLAN Notices newsletter in electronic Add to Reading List Source URL: regmaster3.com Language: English - Date: 2010-09-13 14:52:41 Onward! SPLASH conference OOPSLA Splash SIGPLAN Tutorial Association for Computing Machinery Computer science Computing
56	Uniqueness and Reference Immutability for Safe Parallelism Colin Gordon (UW), Matt Parkinson (MSR), Jared Parsons (MS), Aleks Bromfield (MS), Joe Duffy (MS) OOPSLA 2012 Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2014-10-12 02:26:41 Object-oriented programming Functional programming Immutable object Filesystem permissions Subtype polymorphism D Software engineering Computing Computer programming
57	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Lazy Modular Upgrades in Persistent Object Stores Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira∗ , Chuan Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2003-11-13 21:21:42 Data management Transaction processing Databases Concurrency control Object database Integral transform Object-oriented design Object Commitment ordering Computing Software engineering Object-oriented programming
58	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Modular Glass Box Software Model Checking Michael Roberson Chandrasekhar Boyapati Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2010-10-19 08:49:44 Binary trees Binary search tree Model checking Tree traversal Abstraction Null Pointer SQL C Computing Computer programming Software engineering
59	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Software Model Checking of Soundness of Type Systems Michael Roberson Melanie Harries Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2009-03-23 19:01:00 Computer programming Primitive types Procedural programming languages Type theory Null Model checking Programming language Type system C Computing Software engineering Data types

UPDATE