82,548 Hits in 8.1 sec

IF Validation Environment Tutorial [chapter]

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
2004 Lecture Notes in Computer Science  
Introduction IF [3, 7] is an open validation platform for asynchronous timed systems developed at Verimag during the last 5 years.  ...  Objectives The objectives of this tutorial are first, to give a complete presentation of the main functionalities of the IF validation environment, and second, to show how this environment can be used  ... 
doi:10.1007/978-3-540-24732-6_22 fatcat:squoppkvxnaijb3u4xqycqdnfq

IF-2.0: A Validation Environment for Component-Based Real-Time Systems [chapter]

Marius Bozga, Susanne Graf, Laurent Mounier
2002 Lecture Notes in Computer Science  
The development of the IF-1.0 toolbox [3] has been initiated several years ago, in order to provide an open validation platform for timed asynchronous systems (such as telecommunication protocols or  ...  In particular, this representation allowed us to study the semantics of real-time primitives for asynchronous systems.  ... 
doi:10.1007/3-540-45657-0_26 fatcat:l7wh523icja6hgfavppspjpkae

Automated validation of distributed software using the IF environment

Marius Bozga, Susanne Graf, Laurent Mounier
2001 Electronical Notes in Theoretical Computer Science  
This paper summarizes our experience with IF, an open validation environment for distributed software systems.  ...  The IF environment was built upon an expressive intermediate language and allows to connect several validation tools, providing most of the advanced techniques currently available.  ...  In IF, a system is expressed by a set of parallel processes communicating either asynchronously through a set of bu ers, or synchronously through a set of 2 A well-de ned api allows to consult and modify  ... 
doi:10.1016/s1571-0661(04)00263-4 fatcat:7pqzqh5mqbhlzn7dvpuxtumw2e

If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems [chapter]

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
1999 Lecture Notes in Computer Science  
concepts needed for the specification of timed asynchronous systems.  ...  Finally, if can serve as a basis for interconnecting various tools into a unified validation framework.  ...  These problems motivated the development of if, an intermediate representation for timed asynchronous systems.  ... 
doi:10.1007/3-540-48119-2_19 fatcat:nnhwqtlc6bb53nrfva7ickokfm

IF: An Intermediate Representation for SDL and its Applications [chapter]

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
1999 SDL '99  
In if, a system is represented as a set of timed automata communicating asynchronously through a set of bu ers or by rendez-vous through a set of synchronization gates.  ...  Experimentation and validation of our results in this context motivated the development of an intermediate representation for sdl called if.  ...  timed systems which is asynchronously communicating timed automata (automata with clocks).  ... 
doi:10.1016/b978-044450228-5/50028-x fatcat:cvpwcxul2rbvxpbmmqbb2dpebu

Modeling, Validation, and Verification of PCEP Using the IF Language [chapter]

Iksoon Hwang, Mounir Lallali, Ana Cavalli, Dominique Verchere
2009 Lecture Notes in Computer Science  
Also a number of test cases are obtained which will be used for testing implementations.  ...  The protocol part of PCEP is then described in the IF language which is based on communicating timed automata.  ...  IF language 3.1 IF model IF [4] is a formal method based on communicating timed automata in order to model asynchronous communicating real-time systems.  ... 
doi:10.1007/978-3-642-02138-1_8 fatcat:ne2665eavjeijfrzlclrsbsv2e

Catch me if you can

Milan Jovic, Andrea Adamoli, Matthias Hauswirth
2011 SIGPLAN notices  
The approach transparently produces a list of performance issues, and for each issue provides the developer with information that helps in finding the cause of the problem.  ...  We characterize the resulting 881 issues, and we find and fix the causes of a set of representative examples.  ...  Acknowledgements We would like to thank the anonymous reviewers for their valuable feedback.  ... 
doi:10.1145/2076021.2048081 fatcat:skeyg6tlkfdbhoivd57xmcauna

Moving Beyond the Question of If to How Social Work Practice Can be Taught Effectively Online

Mary Ann Forgey, Anna Ortega-Williams
2016 Advances in Social Work  
We recommend that research moves beyond determining if online practice courses are as effective as face-to-face courses, and instead focus on a closer examination of the factors responsible for teaching  ...  Using an anonymous survey, 23 face-to-face and 12 online students enrolled in two separate sections of social work generalist practice rated the quality of the learning environment, the extent to which  ...  , and to implement a rating system including the hiring and training of raters, role play was deemed an unrealistic method for this study.  ... 
doi:10.18060/20877 fatcat:57vd2v4ccrhmvc4rdzazm3lqwa

Is Parallel Programming Hard, And, If So, What Can You Do About It? (Release v2021.12.22a) [article]

Paul E. McKenney
2021 arXiv   pre-print
Your mission, if you choose to accept, is to help make further progress in the exciting field of parallel programming-progress that will in time render this book obsolete.  ...  The purpose of this book is to help you program shared-memory parallel systems without risking your sanity.  ...  suitable for a highstress debugging environment.  ... 
arXiv:1701.00854v4 fatcat:pxiajyczebd5pm76htwnrczhm4

As-if-serial exception handling semantics for Java futures

Lingli Zhang, Chandra Krintz
2009 Science of Computer Programming  
In this paper, we investigate a similarly intuitive semantics for exception handling for the future parallel programming construct in Java.  ...  of a program with futures is the same as that for an equivalent serial version of the program.  ...  Acknowledgments We sincerely thank the reviewers of this article for providing use with very detailed and thoughtful suggestions for its improvement.  ... 
doi:10.1016/j.scico.2009.01.006 fatcat:7v5kunsq3nhghfbgt5gcyrbt4u

GreyCat: Efficient What-If Analytics for Data in Motion at Scale [article]

Thomas Hartmann, Francois Fouquet, Assaad Moawad, Romain Rouvoy, Yves Le Traon
2018 arXiv   pre-print
In this article, we address this challenge by combining graphs and time series within a scalable storage system that can organize a massive amount of unstructured and continuously changing data into multi-dimensional  ...  Enabling prescriptive analytics therefore calls for the design of scalable systems that can cope with the complexity and the diversity of underlying data models.  ...  The experimental validation showed that the MWG is very well suited for what-if analysis.  ... 
arXiv:1803.09627v1 fatcat:e6uaobgel5ei5mj6cwbs25vipy

If every nail looks different, you need different hammers: Modeling civil-military interaction

Dick Ooms, Willem-Jan van den Heuvel
2014 International Conference on Information Systems for Crisis Response and Management  
Based on the comparative study, we conclude that a combination of these is required for modeling the CMI domain.  ...  To this end, we are developing a comprehensive conceptual model of the CMI domain, which is currently lacking.  ...  At the same time there are large differences between a stable business environment and the ad-hoc, highly volatile environment of a complex emergency, in which a functioning ICT infrastructure cannot be  ... 
dblp:conf/iscram/OomsH14 fatcat:iynufygsibavfputezwzr3zq4a

Synchronized Drumming Enhances Activity in the Caudate and Facilitates Prosocial Commitment - If the Rhythm Comes Easily

Idil Kokal, Annerose Engel, Sebastian Kirschner, Christian Keysers, Alessio Avenanti
2011 PLoS ONE  
The same area also responded to monetary reward in a localizer task with the same participants.  ...  By showing an overlap in activated areas during synchronized drumming and monetary reward, our findings suggest that interpersonal synchrony is related to the brain's reward system.  ...  We thank Keise Izuma for generously providing the stimuli for the monetary reward task, Nikola Valchev for helping in the training sessions; Roger Mundry for the demonstration video and his help in circular  ... 
doi:10.1371/journal.pone.0027272 pmid:22110623 pmcid:PMC3217964 fatcat:32vukadydnaihb23eb3igfgtxi

If You Can Make it There, You Can Make it Anywhere: Providing Reference and Instructional Library Services in the Virtual Environment

Elizabeth Leonard, Maureen J. Morasch
2012 Journal of Electronic Resources Librarianship  
Perhaps the most dramatic shift in services has been the transition from a purely physical to a combination physical/virtual or even virtual-only environment.  ...  This article examines how twenty-first-century online academic librarians deliver instruction and reference services to their student body and faculty, and it explores the ramifications for the education  ...  Getting on-ground faculty to make time for library instruction within an already packed schedule is difficult enough, but the transition to asynchronous online courses has increased the difficulty of providing  ... 
doi:10.1080/1941126x.2012.731946 fatcat:wzemxvegnfffllzidvhxyva4xq

Can we elect if we cannot compare?

Lali Barrière, Paola Flocchin, Pierre Fraigniau, Nicola Santor
2003 Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures - SPAA '03  
We investigate the qualitative model through the problem of deterministic leader election in a distributed mobile environment.  ...  The qualitative model captures, for example, the cases where there is no a priori agreement on a common encoding of the labels.  ...  The agents are asynchronous in the sense that every action they perform (computing, moving, etc.) takes a finite but otherwise unpredictable amount of time.  ... 
doi:10.1145/777412.777469 dblp:conf/spaa/BarriereFFS03 fatcat:tui3aghukra43ir7muerzzacha
« Previous Showing results 1 — 15 out of 82,548 results