Proceedings of the ACM 2000 conference on Java Grande
Elucidate: a tool to aid comprehension of concurrent object oriented execution
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Concurrency, objects and visualisation
ACSE '00 Proceedings of the Australasian conference on Computing education
Communications of the ACM
An enhanced thread synchronization mechanism for Java
Software—Practice & Experience
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Footprint and feature management using aspect-oriented programming techniques
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Specification, verification, and synthesis of concurrency control components
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
PICCOLA---a small composition language
Formal methods for distributed processing
Facilities for parallelism: what should be in a parallel library
ACM SIGPLAN Notices
Assuring and evolving concurrent programs: annotations and policy
Proceedings of the 24th International Conference on Software Engineering
A manageable web software architecture: searching for simplicity
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
CSP Networking for Java (JCSP.net)
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
A formal model of the java multi-threading system and its validation on a known problem
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Content Request Markup Language (CRML): A Distributed Framework for XML-Based Content Publishing
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Towards the Automated Verification of Multithreaded Java Programs
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
The Design and Performance of the jRate Real-Time Java Implementation
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Mobile Code, Internet Security, and E-Commerce
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Dynamic Replacement of Active Objects in the Gilgul Programming Language
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Client-Server Design Alternatives: Back to Pipes but with Threads
ICN '01 Proceedings of the First International Conference on Networking-Part 2
Advanced Thread Synchronization in Java Using Interaction Expressions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
JVM: platform independent vs. performance dependent
ACM SIGOPS Operating Systems Review
From patterns to frameworks to parallel programs
Parallel Computing - Special issue: Advanced environments for parallel and distributed computing
BACI debugger: a GUI debugger for the BACI system
Journal of Computing Sciences in Colleges
Shared Variables Interaction Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Object Distribution with Local Information
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Design patterns: ten years later
Software pioneers
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Teaching operating system at the technical university-Sofia
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifiable Concurrent Programming Using Concurrency Controllers
Proceedings of the 19th IEEE international conference on Automated software engineering
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compiler techniques for high performance sequentially consistent java programs
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Flexible exclusion control for composite objects
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
X10: an object-oriented approach to non-uniform cluster computing
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Application of design for verification with concurrency controllers to air traffic control software
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reusable aspect-oriented implementations of concurrency patterns and mechanisms
Proceedings of the 5th international conference on Aspect-oriented software development
Exclusion requirements and potential concurrency for composite objects
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
Distributed computing using Java: a comparison of two server designs
Journal of Systems Architecture: the EUROMICRO Journal
A two-phase escape analysis for parallel java programs
Proceedings of the 15th international conference on Parallel architectures and compilation techniques
An efficient synchronization model for OpenMP
Journal of Parallel and Distributed Computing
Programming with exceptions in JCilk
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Towards reusable and modular aspect-oriented concurrency control
Proceedings of the 2007 ACM symposium on Applied computing
Practical escape analyses: how good are they?
Proceedings of the 3rd international conference on Virtual execution environments
Object-oriented pattern-based parallel programming with automatically generated frameworks
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
Automated Software Engineering
A Java toolkit for the design and the automatic checking of server architectures
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Transactional memory for smalltalk
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Finding synchronization defects in java programs: extended static analyses and code patterns
Proceedings of the 1st international workshop on Multicore software engineering
Irrevocable transactions and their applications
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
An extensible and lightweight architecture for adaptive server applications
Software—Practice & Experience
Linking Event-B and Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns and traceability in teaching software architecture
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Transactional memory in a dynamic language
Computer Languages, Systems and Structures
Proceedings of the 2006 conference on Pattern languages of programs
Introducing Aspects to the Implementation of a Java Fork/Join Framework
ICA3PP '08 Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing
Managing Proof Documents for Asynchronous Processing
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching about threading: where and what?
ACM SIGACT News
A Basis for Verifying Multi-threaded Programs
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
The complexity of obstruction-free implementations
Journal of the ACM (JACM)
Refactoring sequential Java code for concurrency via concurrent libraries
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Multi-core parallelization in Clojure: a case study
Proceedings of the 6th European Lisp Workshop
Weak Fairness Semantic Drawbacks in Java Multithreading
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
A short unit to introduce multi-threaded programming
Journal of Computing Sciences in Colleges
The design of a task parallel library
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Multithreaded java program test generation
IBM Systems Journal
Using data structure knowledge for efficient lock generation and strong atomicity
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Lightweight asynchrony using parasitic threads
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Deferred cancellation: a behavioral pattern
Proceedings of the 15th Conference on Pattern Languages of Programs
Using genetic programming to generate protocol adaptors for interprocess communication
ICES'03 Proceedings of the 5th international conference on Evolvable systems: from biology to hardware
Extracting control from data: user interfaces of MIDP applications
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Concurrency design patterns, software quality attributes and their tactics
Proceedings of the 3rd International Workshop on Multicore Software Engineering
Experiences in initiating concurrency software research efforts
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Implicit invocation meets safe, implicit concurrency
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Concurrency by modularity: design patterns, a case in point
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Almost free concurrency! (using GOF patterns)
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Building scalable software systems in the multicore era
Proceedings of the FSE/SDP workshop on Future of software engineering research
Design principles for developing stream processing applications
Software—Practice & Experience - Focus on Selected PhD Literature Reviews in the Practical Aspects of Software Technology
Two concurrent algorithms of discrete potential field construction
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
Relaxed-memory concurrency and verified compilation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploitation of multicore systems in a java virtual machine
IBM Journal of Research and Development
A Green Computing Based Architecture Comparison and Analysis
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Using aspect-orientation to simplify concurrent programming
Proceedings of the tenth international conference on Aspect-oriented software development companion
How do programs become more concurrent: a story of program transformations
Proceedings of the 4th International Workshop on Multicore Software Engineering
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Evaluating the impact of thread escape analysis on a memory consistency model-aware compiler
LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing
Transparency and asynchronous method invocation
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
An integration framework for trustworthy transactions
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
A practical MHP information analysis for concurrent java programs
LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing
Extending JML for modular specification and verification of multi-threaded programs
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
A lazy concurrent list-based set algorithm
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
A delay time-based peak load control for stable performance
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Reachability under contextual locking
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
How do developers use parallel libraries?
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
Journal of the ACM (JACM)
Hi-index | 0.02 |
From the Publisher:The book targets intermediate to advanced programmers interested in mastering the complexities of concurrent programming. Taking a design pattern approach, the book offers standard design techniques for creating and implementing components that solve common concurrent programming challenges. The numerous code examples throughout help clarify the subtleties of the concurrent programming concepts discussed.