Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Low copy message passing on the Alliant CAMPUS/800
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
ACM SIGOPS Operating Systems Review
Integrating inheritance and synchronization in Ada9X
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
A methodology for monitor development in concurrent programs
ACM SIGCSE Bulletin
Spin-block synchronization algorithm in the shared memory multiprocessor system
ACM SIGOPS Operating Systems Review
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tools for teaching CCRs, monitors, and CSP concurrent programming concepts
ACM SIGCSE Bulletin
Compiler technology for parallel scientific computation
Scientific Programming
Higher-order distributed objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Synthesis of system-level communication by an allocation-based approach
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
An application-independent concurrency skeleton in Ada 95
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Refining knowledge oriented actions to layered implementations
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
VP: a new operation for semaphores
ACM SIGOPS Operating Systems Review
Limitations of using tokens for mutual exclusion
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Declarative Ada: parallel dataflow programming in a familiar context
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
A Prioritized Multiprocessor Spin Lock
IEEE Transactions on Parallel and Distributed Systems
Transformational partitioning for co-design of multiprocessor systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Verification of liveness properties using compositional reachability analysis
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
“Alfonse, your Java is ready!”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Kernel Ada to unify hardware and software design
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Transforming Ada serving tasks into protected objects
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
The rendezvous is dead—long live the protected object
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
Garbage collecting the Internet: a survey of distributed garbage collection
ACM Computing Surveys (CSUR)
“Alfonse, wait here for my signal!”
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Thinking parallel: the process of learning concurrency
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Turning a functional data type into a concurrent programming language
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Checking progress with action priority: is it fair?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
“Alfonse, you have a message!”
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
A concurrency abstraction model for avoiding inheritance anomaly in object-oriented programs
Compiler optimizations for scalable parallel systems
An enhanced thread synchronization mechanism for Java
Software—Practice & Experience
ACM SIGOPS Operating Systems Review
Parallel programming using visual patterns
Progress in computer research
Channels, visualization, and topology editor
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Specification, verification, and synthesis of concurrency control components
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
VHDL generation from SDL specifications
Readings in hardware/software co-design
Protocol selection and interface generation for HW-SW codesign
Readings in hardware/software co-design
Parallel programming using visual patterns
Progress in computer research
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th International Conference on Software Engineering
Using the observer design pattern for implementation of data flow analyses
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Egocentric context-aware programming in ad hoc mobile environments
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Egocentric context-aware programming in ad hoc mobile environments
ACM SIGSOFT Software Engineering Notes
Support for Implementation of Evolutionary Concurrent Systems
International Journal of Parallel Programming
n Intentional Approach to Parallel Programming
IEEE Parallel & Distributed Technology: Systems & Technology
Patterns and the Democratization of Concurrent Programming
IEEE Concurrency
Directional Gossip: Gossip in a Wide Area Network
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Analysis and Evaluation of a Distributed Monitor Construct in Java
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
COMPSAC '00 24th International Computer Software and Applications Conference
Gossip versus Deterministically Constrained Flooding on Small Networks
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Macroservers: An Object-Based Programming and Execution Model for Processor-in-Memory Arrays
ISHPC '00 Proceedings of the Third International Symposium on High Performance Computing
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
From a Concurrent Architecture to a Concurrent Autonomous Agents Architecture
RoboCup-99: Robot Soccer World Cup III
A More Expressive Monitor for Concurrent Java Programming
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Exception Handling during Asynchronous Method Invocation (Research Note)
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Heuristics for Efficient Manipulation of Composite Constraints
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Verification of Sets of Infinite State Processes Using Program Transformation
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Generalised Object-Oriented Concepts for Inter-agent Communication
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
View consistencies and exact implementations
Parallel Computing
The invention of concurrent programming
The origin of concurrent programming
IEEE Transactions on Parallel and Distributed Systems
Information and Computation
Versioning concurrency control for hard real-time systems
Journal of Systems and Software
JR: Flexible Distributed Programming in an Extended Java
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
Language support for lightweight transactions
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
An incremental approach to reachability analysis of distributed programs
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
TinyGALS: a programming model for event-driven embedded systems
Proceedings of the 2003 ACM symposium on Applied computing
On avoiding remote blocking via real-time concurrency control protocols
Journal of Systems and Software
ThreadMentor: a pedagogical tool for multithreaded programming
Journal on Educational Resources in Computing (JERIC)
Enterprise in context: assessing the usability of parallel programming environments
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Learning concurrency: evolution of students' understanding of synchronization
International Journal of Human-Computer Studies
JR: Flexible distributed programming in an extended Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods in System Design
Fast Paths in Concurrent Programs
Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
A page-coherent, causally consistent protocol for distributed shared memory
Journal of Systems and Software
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Cooperative multithreading on 3mbedded multiprocessor architectures enables energy-scalable design
Proceedings of the 42nd annual Design Automation Conference
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Bounded model checking of infinite state systems
Formal Methods in System Design
A semantics for concurrent separation logic
Theoretical Computer Science
Resources, concurrency, and local reasoning
Theoretical Computer Science
Performance of concurrent servers generated automatically from sequential servers
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
On the design of abstract binding connectors for high performance computing component models
Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing
Toward a task model of concurrent software maintenance
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
A study of student strategies for the corrective maintenance of concurrent software
Proceedings of the 30th international conference on Software engineering
Patterns and traceability in teaching software architecture
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Concurrent Program Metrics Drawn by Quasar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
A Framework for CFG-Based Static Program Analysis of Ada Programs
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Symmetric and Synchronous Communication in Peer-to-Peer Networks
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
An adaptive and trustworthy software testing framework on the grid
The Journal of Supercomputing
Reasoning about Java's Reentrant Locks
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Communications of the ACM - Security in the Browser
Generic operations and capabilities in the JR concurrent programming language
Computer Languages, Systems and Structures
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements and challenges for building service-oriented pervasive middleware
Proceedings of the 2009 international conference on Pervasive services
Tight WCRT analysis of synchronous C programs
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
Variables as Resource in Separation Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
On the application of clustering techniques to support debugging large-scale multi-agent systems
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
A structured approach to develop concurrent programs in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Construction of efficient BDDs for bounded arithmetic constraints
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Simple concurrent garbage collection almost without synchronization
Formal Methods in System Design
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Fast and scalable rendezvousing
DISC'11 Proceedings of the 25th international conference on Distributed computing
Unifying framework for message passing
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Handling multiple concurrent exceptions in c++ using futures
Advanced Topics in Exception Handling Techniques
Parallel and distributed components with java
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Compositional model extraction for higher-order concurrent programs
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A uniform classification of common concurrency errors
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Inter-entry selection control mechanisms: Implementation and evaluation
Computer Languages
Computer Communications
Generalized Mutual Exclusion with Semaphores Only
Fundamenta Informaticae
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An FPGA-based multi-core approach for pipelining computing stages
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Proving Theorems by Program Transformation
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Hi-index | 0.00 |