Filters








3,304 Hits in 2.9 sec

Session Types for Functional Multithreading [chapter]

Vasco Vasconcelos, António Ravara, Simon Gay
2004 Lecture Notes in Computer Science  
The multithreaded version requires "a lock name for every pointer and lock type, and an effect for every function".  ...  The dual of a session type S, denoted S, is defined for all session types except ⊥, and is obtained by interchanging output ! and input ?  ...  For the rule that uses structural congruence, we use Lemma 10. B Proof of Theorem 2, Type Safety We start with a couple of easy results. Lemma 13. Suppose that ∆ Σ C. where Σ, c : ⊥ = Σ 1 • Σ 2 .  ... 
doi:10.1007/978-3-540-28644-8_32 fatcat:2i6zf72qcjaztevrmxix26bxyq

Session types for linear multithreaded functional programming

Vasco T. Vasconcelos
2009 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09  
In this paper we deal with binary sessions only. Through a running example we visit session types and a functional concurrent language equipped with buffered semantics.  ...  Session types allow for the description of continuous series of interactions between several partners.  ...  Acknowledgments The incorporation of session types in functional programming, the buffered semantics, and the bounded buffers ideas where developed jointly with Simon Gay [Gay and Vasconcelos 2008] ;  ... 
doi:10.1145/1599410.1599411 dblp:conf/ppdp/Vasconcelos09 fatcat:ndqxp4psi5fqvlibmtejvy3pri

ACM/IEEE computer science 2013 exemplar-fest

Andrea Danyluk, Steve Roach, Elizabeth K. Hawthorne, Henry M. Walker, Ruth E. Anderson, Christa M. Chewar
2013 Proceeding of the 44th ACM technical symposium on Computer science education - SIGCSE '13  
This special session highlights the exemplar section of the Ironman report through a description of its purpose, presentation of several exemplars, and an invitation to the SIGCSE community to participate  ...  The Ironman draft includes course and curricular exemplars, which should serve as a rich resource for those trying to meet the curriculum standards.  ...  . • Provide the audience with an opportunity to give feedback on the range and types of exemplars in the Ironman draft, as well as the opportunity to suggest additional types of exemplars for the final  ... 
doi:10.1145/2445196.2445284 dblp:conf/sigcse/DanylukRHWAC13 fatcat:prdkwkw6obgspezjmvwo7qt2b4

Using knowledge-based systems for research on parallelizing compilers

Chao-Tung Yang, Shian-Shyong Tseng, Yun-Woei Fann, Ting-Ku Tsai, Ming-Huei Hsieh, Cheng-Tien Wu
2001 Concurrency and Computation  
For example, the IPLS system can choose an appropriate loop schedule for running on multiprocessor systems.  ...  The main function of parallelizing compilers is to analyze sequential programs, in particular the loop structure, to detect hidden parallelism and automatically restructure sequential programs into parallel  ...  The P Threads codes for this session may look like this: pthread_cond_wait(&ThCond, &CountLock); pthread_mutex_unlock(&CountLock) Figure 7 is the function definition of a DOALL loop for a thread.  ... 
doi:10.1002/cpe.563 fatcat:z5wil2dh6bexdgdvffrvokqqvq

Geant4 VMC 3.0

I Hřivnáčová, A Gheata
2015 Journal of Physics, Conference Series  
of a new package, MTRoot, providing utility functions for ROOT parallel output in independent files with necessary additions for thread-safety.  ...  Migration of user applications to multithreading that preserves the ease of use of VMC will be also discussed.  ...  Acknowledgments The authors would like to acknowledge Oliver Freyermuth from Physics Institute of the University of Bonn for testing development versions and his contribution to CMake build, examples test  ... 
doi:10.1088/1742-6596/664/7/072020 fatcat:vnghaz6xkba37hhccae6emcsiu

A Low-Cost PC-Based Range Finder System

S. M. A. Motakabber, Muhammad I. Ibrahimy
2013 International Journal of Computer and Communication Engineering  
A prototype customized network based chat and different type of files transfer system have been developed for telemedicine.  ...  The main function of the chat section is to establish a connection between collar (client) and called parties (server), so they can conversant to each other on real time.  ...  Why multithreading concept is necessary? This is because there is a requirement for multitasking in the networking application.  ... 
doi:10.7763/ijcce.2013.v2.276 fatcat:j7r6babdufhwpkbi7mfuzx7oda

Efficient resource management on template-based web servers

E. Courtwright, Chuan Yue, Haining Wang
2009 2009 IEEE/IFIP International Conference on Dependable Systems & Networks  
management support for template-based web applications.  ...  The most commonly used request processing model in multithreaded web servers is thread-per-request, in which an individual thread is bound to serve each web request.  ...  Acknowledgments: We thank anonymous reviewers for their valuable comments and suggestions. This work was partially supported by NSF grants CNS-0627339 and CNS-0627340.  ... 
doi:10.1109/dsn.2009.5270329 dblp:conf/dsn/CourtwrightYW09 fatcat:jxufp5tutrbuno3q3jdocnj4o4

Designing an Integrated Architecture for Network Content Security Gateways

Ying-dar Lin, Chih-wei Jan, Po-ching Lin, Yuan-cheng Lai
2006 Computer  
both types of traffic and one interprocess communication (step 4) for SMTP traffic.  ...  Because the number of sessions is fixed, however, the relative proportions of session finding and rule operation decrease as packet length increases.  ... 
doi:10.1109/mc.2006.379 fatcat:tvuiq4jhgjajfc6kfjujjw23rq

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

Peng Li, Steve Zdancewic
2007 Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07  
This paper proposes to combine two seemingly opposed programming models for building massively concurrent network services: the event-driven model and the multithreaded model.  ...  This paper shows how the hybrid model can be implemented entirely at the application level using concurrency monads in Haskell, which provides type-safe abstractions for both events and threads.  ...  Martin, Yun Mao, Simon Peyton Jones and Simon Marlow for their help and feedbacks on this project.  ... 
doi:10.1145/1250734.1250756 dblp:conf/pldi/LiZ07 fatcat:i4llijobbfdyhafhodhiiznfma

The S3MS.NET Run Time Monitor

Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
2009 Electronical Notes in Theoretical Computer Science  
The tool supports both singlethreaded and multithreaded applications, and is sufficiently mature to be used on real-world applications.  ...  This paper describes the S3MS.NET run time monitor, a tool that can enforce security policies expressed in a variety of policy languages for .NET desktop or mobile applications.  ...  Multithreading and Synchronization Inlining in a multithreaded program requires synchronization.  ... 
doi:10.1016/j.entcs.2009.11.021 fatcat:c5odinr6ezadddbylajaexv3iy

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

Peng Li, Steve Zdancewic
2007 SIGPLAN notices  
This paper proposes to combine two seemingly opposed programming models for building massively concurrent network services: the event-driven model and the multithreaded model.  ...  This paper shows how the hybrid model can be implemented entirely at the application level using concurrency monads in Haskell, which provides type-safe abstractions for both events and threads.  ...  Martin, Yun Mao, Simon Peyton Jones and Simon Marlow for their help and feedbacks on this project.  ... 
doi:10.1145/1273442.1250756 fatcat:rznvhyqnf5blzki42yggppjqru

Security monitor inlining and certification for multithreaded Java

MADS DAM, BART JACOBS, ANDREAS LUNDBLAD, FRANK PIESSENS
2014 Mathematical Structures in Computer Science  
For multithreaded Java one difficulty is the need to maintain a shared monitor state.  ...  Security monitor inlining is a technique for security policy enforcement whereby monitor functionality is injected into application code in the style of aspect-oriented programming.  ...  Acknowledgements Thanks to Irem Aktug, Dilian Gurov and Dries Vanoverberghe for useful discussions on many topics related to monitor inlining.  ... 
doi:10.1017/s0960129512000916 fatcat:oeuacpj5cvhw3ciafmgfpqrsjq

Type-Safe Eventful Sessions in Java [chapter]

Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
2010 Lecture Notes in Computer Science  
Combining the latter with the new session set types allows us to treat dynamic collections of heterogeneously typed channels. ( § 4) A type theory based on session set types for the extended session constructs  ...  This paper develops a framework for type-safe event-driven session programming that integrates session types and asynchronous event programming in Java.  ...  We thank the ECOOP referees for their comments. This work is partially supported by EPSRC EP/F003757, EP/F002114, EP/G015635 and EP/G015481.  ... 
doi:10.1007/978-3-642-14107-2_16 fatcat:bw57rvpmvfff5divca4xv3jiha

Standardization of an API for Distributed Resource Management Systems

Peter Troger, Hrabri Rajic, Andreas Haas, Piotr Domagalski
2007 Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07)  
Today's cluster and grid environments demand the usage of product-specific APIs and tools for developing distributed applications.  ...  We give an overview of the Distributed Resource Management Application API (DRMAA) specification, which defines a common interface for job submission, control, and monitoring.  ...  according error codes for such multithreading cases.  ... 
doi:10.1109/ccgrid.2007.109 dblp:conf/ccgrid/TrogerRHD07 fatcat:b2y4blzucverdjd4o7xe4yd4da

Selective checkpointing and rollbacks in multi-threaded object-oriented environment

M. Kasbekar, C. Narayanan, C.R. Das
1999 IEEE Transactions on Reliability  
As multithreading and object-oriented paradigms become prevalent programming models for large and complex softwares, fault-tolerance in such programming environments also becomes essential.  ...  Comparatively, selective checkpoints, those involving only communicating objects and threads, are more suitable for designing fault-tolerant multithreaded object-oriented systems.  ...  It has been suitably altered for this library. This research has greatly benefited from discussions with Yennun Huang, Reinhard Klemm and Shalini Yajnik of Bell Laboratories.  ... 
doi:10.1109/24.814515 fatcat:mhhiwtrxljavdakgetnwzgy2zu
« Previous Showing results 1 — 15 out of 3,304 results