Filters








94,518 Hits in 4.1 sec

Resource-sensitive synchronization inference by abduction

Matko Botincan, Mike Dodds, Suresh Jagannathan
2012 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12  
Separation logic allows us to parallelize fine-grained patterns of resource-usage, moving beyond straightforward points-to analysis.  ...  We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, written in separation logic,  ...  Resource Usage Analysis The resource usage analysis takes as its input the program, and a separation logic proof for the program for some specification.  ... 
doi:10.1145/2103656.2103694 dblp:conf/popl/BotincanDJ12 fatcat:wh76el2gzrfbjp73ld5izkq3xm

Resource-sensitive synchronization inference by abduction

Matko Botincan, Mike Dodds, Suresh Jagannathan
2012 SIGPLAN notices  
Separation logic allows us to parallelize fine-grained patterns of resource-usage, moving beyond straightforward points-to analysis.  ...  We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, written in separation logic,  ...  Resource Usage Analysis The resource usage analysis takes as its input the program, and a separation logic proof for the program for some specification.  ... 
doi:10.1145/2103621.2103694 fatcat:bj5ucxeg2bep7jyorqurrzj5kq

Educational, supportive and behavioural interventions to improve usage of continuous positive airway pressure machines in adults with obstructive sleep apnoea

Dariusz R Wozniak, Toby J Lasserson, Ian Smith
2014 The Cochrane library  
Aloia 2012a and Aloia 2012b investigated two interventionseducational and behavioural-and used one control group. We considered these two arms paired with one control as separate studies.  ...  in adults with obstructive sleep apnoea Comparison: 3 Behavioural therapy + CPAP versus control + CPAP 84 Educational, supportive and behavioural interventions to improve usage of continuous positive  ...  C O L A N D R E V I E W This review incorporates a risk of bias table for eligible studies, and we performed post hoc subgroup analysis based on awareness of machine monitoring and average compliance with  ... 
doi:10.1002/14651858.cd007736.pub2 pmid:24399660 fatcat:6eqjjhplv5d6pmpl6fy7znimki

Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining [chapter]

Long Wang, Christoph Meinel
2004 Lecture Notes in Computer Science  
These usage patterns include constraint association rules, constraint sequential patterns, deepest access paths, shortest access paths, tree structure accessing patterns, parallel visiting patterns, circle  ...  Based on various recovered behaviours, we raised how to define complicated usage patterns.  ...  In this step, the usage data for different users are separately collected. • Session construction: after user identification, different sessions for the same user should be reconstructed from this user's  ... 
doi:10.1007/978-3-540-27834-4_65 fatcat:ivkzuhtaajc2fcautsi4eom6h4

Object-oriented specification of coordinated collaboration [chapter]

G. Engels, L. P. J. Groenewegen, G. Kappel
1996 Advanced IT Tools  
The paper reports on concepts, language constructs, and experiences with three collaboration formalisms in the area of object-oriented specifications.  ...  However, whereas most object-oriented specification methods are strong in modelling the local behaviour of single objects, they fall short on modelling the coordinated behaviour and collaboration of several  ...  : asynchronous 3 : sequential 4: parallel 5: 1 to I 6: I ton 7 : restricted usage 8 : enforced usage  ... 
doi:10.1007/978-0-387-34979-4_49 fatcat:b5iady6iubbu7anxihzqzetsyy

Towards an Intelligent Grid Scheduling System [chapter]

Ralf Gruber, Vincent Keller, Pierre Kuonen, Marie-Christine Sawley, Basile Schaeli, Ali Tolou, Marc Torruella, Trach-Minh Tran
2006 Lecture Notes in Computer Science  
According to data collected on the machines in the GRID, on the behaviour of the applications, and on the performance requirements demanded by the user, a heuristic cost function is evaluated by means  ...  Applications with multicast communication needs The parallel 3D FFT algorithm is a typical example with important multicast communication needs.  ...  It used 32 processors and ran for 5570 minutes, leading to a profiling with 17824 (=557*32) snapshots. About 10% of the snapshots show a CPU usage of 0%, and 15% show a 100% usage.  ... 
doi:10.1007/11752578_90 fatcat:mc2bydtimffevmuvbakidfv3cq

Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems

Jan Nowotsch, Michael Paulitsch, Arne Henrichsen, Werner Pongratz, Andreas Schacht
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014  
The analysis is closely coupled with mechanisms for temporal partitioning as, for instance, required in ARINC 653-based systems.  ...  In particular, the parallel usage of a resource with limited capacity leads to unknown latency variations for individual requesters [12] .  ...  Therefor, the WCRAs κ φ k πi of all in-parallel scheduled processes are required, abstracting their specific behaviour.  ... 
doi:10.7873/date.2014.080 dblp:conf/date/NowotschPHPS14 fatcat:7xcu6gi2pjg7jnbgknqogs5yjq

Towards software component assembly language enhanced with workflows and skeletons

Marco Aldinucci, Marco Danelutto, Hinde Lilia Bouziane, Christian Pérez
2008 Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance - CBHPC '08  
applications specifying both temporal and spatial relations among components and instantiating predefined skeleton composite components to implement all those application parts that can be easily modeled with  ...  Even if a combination of the two can reach more complex behaviour, offered constructs are not sufficient to simply express a usage of complex parallel paradigms.  ...  Skeleton Constructs on top of STCM Our approach to enable a designer to express the usage of skeletonbased parallel paradigms is to extend STCM with dedicated constructs.  ... 
doi:10.1145/1456190.1456194 fatcat:7ggkrmx2rvgyhbdp27v3lavp5i

Validation of Scenario-Based Business Requirements with Coloured Petri Nets

Óscar R. Ribeiro, João M. Fernandes
2009 2009 Fourth International Conference on Software Engineering Advances  
We exemplify our approach in a system that has a rich set of interactions with its users.  ...  Due to the support for parallelism given by the CPN language, the obtained CPN model can: (1) simultaneously execute several scenarios; and (2) elegantly represent the parallel activities inside a scenario  ...  Their work has some similarities with ours, namely on the usage of sequence diagrams, but uses a different PN language (M-nets) and is oriented towards sequence diagrams that describe the behaviour of  ... 
doi:10.1109/icsea.2009.45 dblp:conf/icsea/RibeiroF09 fatcat:7775yiso3fblhognkodinnqkia

A Layered Approach to Parallel Software Performance Prediction: A Case Study [chapter]

E. Papaefstathiou, D.J. Kerbyson, G.R. Nudd
1994 Massively Parallel Processing Applications and Development  
behaviour.  ...  The methodology described enables the separate characterisation of both application, and parallel machine to be developed independently but integrated though an intermediary layer encompassing mapping  ...  ACKNOWLEDGEMENTS This work is funded in part by ESPRIT contracts 6942 -Performance Evaluation of Parallel Systems (PEPS) and 6173 -Design by Simulation and Rendering on Parallel Architectures (DESIRE).  ... 
doi:10.1016/b978-0-444-81784-6.50076-2 fatcat:btd2jamop5efblu7gm6mvcqrjy

Evaluation of data-parallel H.264 decoding approaches for strongly resource-restricted architectures

Florian H. Seitner, Michael Bleyer, Margrit Gelautz, Ralf M. Beuschel
2010 Multimedia tools and applications  
For processors with strongly limited computational resources, a natural way to tackle this problem is the use of multi-core systems.  ...  These methods are compared against each other in terms of runtime complexity, core usage, inter-communication and bus transfers.  ...  This paper focuses on evaluating the behaviour of different parallel decoding approaches in terms of runtime complexity, efficient core usage, data transfers and buffer sizes.  ... 
doi:10.1007/s11042-010-0501-7 fatcat:n2li5jmhjjcvhoo2mnex32du4a

ENRICHED BIG DATA PRE-PROCESSING MODEL WITH MACHINE LEARNING APPROACH TO INVESTIGATE WEB USER USAGE BEHAVIOURY

Silpa N., Dr. V V R Maheswara Rao
2021 Indian Journal of Computer Science and Engineering  
The EPPM enables the capability of processing real time streaming data along with batch data as to sustain the validity of web user behaviour extracted from historical data also requires the strategy of  ...  In addition, existing pre-processing studies focus on elicitation, reduction and transformation of web user usage data individually not comprehensively.  ...  play a great role in categorizing the user usage behaviour.  ... 
doi:10.21817/indjcse/2021/v12i5/211205050 fatcat:3oho2gskgnc4fmgwi2ldwtnvna

Approaches to Improve Reliability of Service Composition [chapter]

Jörg Hohwiller, Diethelm Schlegel, Gregor Engels
2012 Lecture Notes in Computer Science  
In the following sections, situations with negative impact on the behaviour of composed services are classified.  ...  of the service provider conditions -Reacts on sudden overload or failure with delay Fig. 3 . 3 Approaches to Improve Reliability the approaches with respect to the parallel service invocation (3.3)  ... 
doi:10.1007/978-3-642-31875-7_42 fatcat:vishzsxo7zef3l7p7dracy4kmi

Typing Progress in Communication-Centred Systems [chapter]

Hugo Torres Vieira, Vasco Thudichum Vasconcelos
2013 Lecture Notes in Computer Science  
Then, together with a separate notion of overall ordering of events we are able to distinguish systems that enjoy fidelity and progress.  ...  At the basis of our development is the idea that a communication-centred program that enjoys progress is embodied with a natural ordering of communications (or events).  ...  The (so-called) static fragment of the process model is given by the inaction 0 that represents a process with no behaviour, the parallel composition of processes P | Q that represents a process where  ... 
doi:10.1007/978-3-642-38493-6_17 fatcat:a652v3cyjjhq5ey3a4z4kd3i2m

Towards Concern-Oriented Design of Component-Based Systems

Jörg Kienzle, Anne Koziolek, Axel Busch, Ralf H. Reussner
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
However, complete separation of concerns is difficult to achieve in CBSE when concerns crosscut several components.  ...  Component-based software engineering (CBSE) is based on defining, implementing and composing loosely coupled, independent components, thus increasing modularity, analyzability, separation of concerns and  ...  Hence, the composition operator for SEFFs would have to support the composition of behaviour from one SEFF before, after, around or in parallel of some behaviour in the other SEFF.  ... 
dblp:conf/models/KienzleKBR16 fatcat:cewdngiocfftniisgr5ay7febq
« Previous Showing results 1 — 15 out of 94,518 results