Filters








91,629 Hits in 1.7 sec

Concurrency annotations

Klaus-Peter Löhr
1992 conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '92  
Concurrency annotations are introduced using E@ieZ as the sequential base.  ...  library support for concurrency superfluous.  ...  carrying no annotations in the design of a modified class fit for usage in a concurrent setting.  ... 
doi:10.1145/141936.141964 dblp:conf/oopsla/Lohr92 fatcat:itlsr2erx5bpxpsntv5fe3jnoi

Concurrency annotations in C++

Carlos Baquero, Francisco Moura
1994 SIGPLAN notices  
This paper describes CA/C++, Concurrency Annotations in C++, a language extension that regulates method invocations from multiple threads of execution in a shared-memory multiprocessor system.  ...  We will extend the unregulated stack code and provide the concurrency annotations for a new derived class.  ...  With the information provided by the annotations, the CA/C++ translator generates two new classes: A class that represents in C++ the concurrency annotations of the Stack class.  ... 
doi:10.1145/181593.181603 fatcat:nq66baodrngfbokhrdsul3dyqy

Annotation of concurrent changes in collaborative software development

Claudia-Lavinia Ignat
2008 2008 4th International Conference on Intelligent Computer Communication and Processing  
We propose an awareness mechanism that informs users about the concurrent published changes by annotating the local project with these modifications.  ...  Users can also see the representation of the concurrent changes by consulting the annotations associated to code lines. We present the algorithms that implement our awareness approach.  ...  Our approach consists on annotating the local project with the concurrent changes.  ... 
doi:10.1109/iccp.2008.4648365 fatcat:24ukrtupargllbjtl2l3r5e7q4

An annotation-based approach for JCSP concurrent programming

José Elias Araújo, Henrique Rebêlo, Ricardo Lima, Alexandre Mota, Uirá Kulesza, Cláudio Sant'Anna
2011 Proceedings of the 1st workshop on Modularity in systems software - MISS '11  
We explore metadata annotations to implement this separation of concerns. A compiler generates AspectJ code used to instrument the JCSP features under the hood.  ...  Modern programming models for concurrency including libraries implementing high level abstractions such as JCSP lead to tangled and scattered concurrency code.  ...  The AJCSP Programming Style In AJCSP, the concurrency annotations are inserted inside Java comments.  ... 
doi:10.1145/1960518.1960521 fatcat:opipcs244fcdpf4lkulgrn35hy

Safe bounds check annotations

Jeffery von Ronne, Andreas Gampe, David Niedzielski, Kleanthis Psarris
2009 Concurrency and Computation  
These linear constraints and their proofs are then added to the mobile code as annotations. The annotation framework is designed so that proofs can be verified efficiently.  ...  Experiments with a prototype system that can generate and verify these annotations, demonstrate that this framework is more precise than prior work and that verification is efficient. *  ...  Concurrency Computat.: Pract.  ... 
doi:10.1002/cpe.1341 fatcat:iqkrcblsp5gjhlmlr25gtjdloy

Accurate and consistent automatic seismocardiogram annotation without concurrent ECG

A Laurin, F Khosrow-Khavar, A P Blaber, Kouhyar Tavakolian
2016 Physiological Measurement  
This points to one of the strength of automatically annotated SCG to support concurrent cardiac measurement, both as a fail-safe, and as a low-marginalcost way of complementing already acquired data.  ...  The assignment of these fiducial points was based on concurrent echocardiogram analysis with SCG morphology [5, 6] .  ... 
doi:10.1088/0967-3334/37/9/1588 pmid:27510446 fatcat:lv4qqui37jenjpqrcukpayxfoi

Lightweight annotations for controlling sharing in concurrent data structures

Zachary R. Anderson, David Gay, Mayur Naik
2009 Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09  
In all benchmarks groups entail low annotation burden and no significant additional performance overhead.  ...  The addition of groups allows checking safe concurrency at the level of data structures rather than at the level of individual objects.  ...  Safe Concurrency Checking There has been much work on finding concurrency related bugs in multi-threaded programs.  ... 
doi:10.1145/1542476.1542488 dblp:conf/pldi/AndersonGN09 fatcat:vdy7kin7bjek5h6e2xiugzf44e

Accurate and consistent automatic seismocardiogram annotation without concurrent ECG

Alexandre Laurin, Farzad Khosrow, Andrew Blaber, Kouhyar Tavakolian
2015 2015 Computing in Cardiology Conference (CinC)  
So far, SCG annotation has relied on concurrent ECG measurements. We have designed an algorithm capable of annotating SCG without the use any other concurrent measurement.  ...  We collected ECG and SCG, obtained R peaks from the former, and annotated the latter by hand, using these identified peaks. We also annotated the SCG automatically.  ...  The assignment of these fiducial points was based on concurrent echocardiogram analysis with SCG morphology [3, 4] .  ... 
doi:10.1109/cic.2015.7408577 dblp:conf/cinc/LaurinTKB15 fatcat:5pgdwntahbe6bouvdtqfhinjxi

Lightweight annotations for controlling sharing in concurrent data structures

Zachary R. Anderson, David Gay, Mayur Naik
2009 SIGPLAN notices  
In all benchmarks groups entail low annotation burden and no significant additional performance overhead.  ...  The addition of groups allows checking safe concurrency at the level of data structures rather than at the level of individual objects.  ...  Safe Concurrency Checking There has been much work on finding concurrency related bugs in multi-threaded programs.  ... 
doi:10.1145/1543135.1542488 fatcat:vcepxyeknnbw7nuvahwe3ke7eq

An annotation-aware Java virtual machine implementation

Ana Azevedo, Alex Nicolau, Joe Hummel
2000 Concurrency Practice and Experience  
We describe the implementation of a prototype of an annotation-aware JVM consisting of an annotation-aware JIT compilation system.  ...  These annotations carry information concerning compiler optimizations.  ...  The athrow bytecode is annotated with a virtual register representing the reference to the object being thrown. We m a p t h e throw keyword into a Java IR method call.  ... 
doi:10.1002/1096-9128(200005)12:6<423::aid-cpe483>3.0.co;2-l fatcat:no6g5qhryrgczgoqlxxqur2nfa

Annotating the Java bytecodes in support of optimization

Joseph Hummel, Ana Azevedo, David Kolson, Alexandru Nicolau
1997 Concurrency Practice and Experience  
In this paper we propose an optimization approach based on bytecode annotations.  ...  The bytecodes are annotated during the original source code to bytecode translation, allowing both traditional interpretation by a JVM and aggressive optimization by an annotation-aware bytecode compiler  ...  Each instruction thus has an associated annotation, stored in the method's $$annotations attribute.  ... 
doi:10.1002/(sici)1096-9128(199711)9:11<1003::aid-cpe346>3.3.co;2-7 fatcat:k2z46zituzhhdm5dvra6inzq6m

Annotating Java class files with virtual registers for performance

Joel Jones, Samuel Kamin
2000 Concurrency Practice and Experience  
These annotations were designed mindful of the concurrency features of the Java language. In this paper we report results from our machine-independent, prioritized register assignment.  ...  We also discuss other possible annotations.  ...  Other Annotations As noted earlier, we have defined two annotations other than the VR annotation. The first of these, the "RIP" annotation, is used for redundant load-store elimination.  ... 
doi:10.1002/1096-9128(200005)12:6<389::aid-cpe481>3.0.co;2-6 fatcat:4lpdoz3nlndclnhodxlq67d6we

Annotating the Java bytecodes in support of optimization

Joseph Hummel, Ana Azevedo, David Kolson, Alexandru Nicolau
1997 Concurrency Practice and Experience  
In this paper we propose an optimization approach based on bytecode annotations.  ...  The bytecodes are annotated during the original source code to bytecode translation, allowing both traditional interpretation by a JVM and aggressive optimization by an annotation-aware bytecode compiler  ...  Each instruction thus has an associated annotation, stored in the method's $$annotations attribute.  ... 
doi:10.1002/(sici)1096-9128(199711)9:11<1003::aid-cpe346>3.0.co;2-g fatcat:keksiujy6baibimottqnwhfm4e

A step towards refining and translating B control annotations to Handel-C

W. Ifill, S. Schneider
2010 Concurrency and Computation  
Handel-C is used on route to hardware synthesis as it supports the implementation of concurrency and the manipulation of state.  ...  Annotations are again used to guide the translation of the B and control annotations into Handel-C. This work has three main aims.  ...  Concurrency Computat.: Pract.  ... 
doi:10.1002/cpe.1427 fatcat:iie2yjpenfcynlw7d2oomtim3a

GENECODIS: a web-based tool for finding significant concurrent annotations in gene lists

Pedro Carmona-Saez, Monica Chagoyen, Francisco Tirado, Jose M Carazo, Alberto Pascual-Montano
2007 Genome Biology  
The analysis of concurrent annotations provides significant information for the biologic interpretation of high-throughput experiments and may outperform the results of standard methods for the functional  ...  We present GENECODIS, a web-based tool that integrates different sources of information to search for annotations that frequently co-occur in a set of genes and rank them by statistical significance.  ...  Note that for each set of concurrent annotations its frequency is calculated as the number of genes that are simultaneously co-annotated with those terms.  ... 
doi:10.1186/gb-2007-8-1-r3 pmid:17204154 pmcid:PMC1839127 fatcat:h44h47cw5rgfrntuhhahaqdxbu
« Previous Showing results 1 — 15 out of 91,629 results