A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language
2014
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
KernelC is extended with threads and synchronization constructs, and two concurrent semantics are derived from its sequential semantics. ...
The second semantics defines in a relatively minimal fashion a relaxed memory model based on the x86-TSO memory model. ...
Moreover, having different variants for the semantics of the same language features (e.g., different memory models) formalized in the same (executable) framework opens the door for testing and analyzing ...
doi:10.1016/j.entcs.2014.05.009
fatcat:b5kloios7fewhisct24n5ylkiq
Concurrence of Myelodysplastic syndromes and large granular lymphocyte leukemia: clinicopathological features, mutational profile and gene ontology analysis in a single center
2021
American Journal of Cancer Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this present study, clinicopathological features were detailed in ten cases of MDS concurrent with LGLL (MDS-LGLL). ...
Moreover, whole-exome sequencing (WES) and gene ontology (GO) analysis for one patient in his different phases revealed increased enrichment of histone H3 lysine 4 (H3K4) mono-methylation (GO:0097692) ...
Pathologic and immunophenotypic features The morphologic features, immunophenotype, immunohistochemistry and molecular analysis of MDS-LGLL cases are summarized in Table 2 . ...
pmid:33948377
pmcid:PMC8085857
fatcat:vrdennlm3ff6zepozt722xfdli
Visual Interaction in Acoustic-Structural Analysis of Automobiles
1994
20th Design Automation Conference: Volume 1 — Dynamic Mechanical Systems; Geometric Modeling and Features; Concurrent Engineering
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Low frequency noise in the passenger compartment (in approximately the 20–85 Hz frequency range) is of primary interest, and particularly that noise which is generated by the structural vibrations of the ...
The design targets set in this manner are then input to an optimization algorithm which solves for the optimized sound pressure level. ...
The basic operations in a structural/acoustic analysis of an automobile are shown in Figure- 1. ...
doi:10.1115/detc1994-0048
fatcat:suwxzc5hvbemvdq2nqp5f2cv2u
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems
Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
CPN-AMI is an integrated development and analysis environment dedicated to Petri nets. ...
This third major release offers better support for modeling and analysis of very large systems. ...
New features in CPN-AMI 3 This paper briefly presents the new features in CPN-AMI 3. PetriScript responds to a need to program flexible and compositional Petri nets. ...
doi:10.1109/acsd.2006.15
dblp:conf/acsd/HamezHKLPRT06
fatcat:kzgyfcqtjrct3aumobv2jywsfm
Feature Extraction and Visual Feature Fusion for the Detection of Concurrent Prefix Hijacks
[chapter]
2014
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Most of the previous approaches on BGP hijack detection depend on static methods in order to fuse the information from multiple features and identify anomalies. ...
The proposed visual queries enable the analyst to select a significant subset of the initial dataset for further analysis, based on the values of multiple features. ...
Section 3 presents the feature extraction methodology, while the proposed visual feature fusion method is detailed in section 4. Use case analysis takes place in section 5. ...
doi:10.1007/978-3-662-44722-2_33
fatcat:esyzlymtivgklhxf4lmhp3r7f4
Ipsilateral-mammogram computer-aided detection of breast cancer
2004
Computerized Medical Imaging and Graphics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
analysis is developed for iterative analysis of ipsilateral multi-view mammograms by inter-projective feature matching analysis. ...
The study results demonstrate the advantages of ipsilateral multi-view CAD method combined with concurrent analysis over current single-view CAD system on false positive reduction. q ...
If the spatial feature matched area can be found in another view after such concurrent analysis, this pair will go proceed to the next feature analysis. ...
doi:10.1016/j.compmedimag.2003.11.004
pmid:15081498
fatcat:6xmkulk73vh57cqycjxk2kaage
Machine Learning to Predict the Progression of Bone Mass Loss Associated with Personal Characteristics and a Metabolic Syndrome Scoring Index
2021
Healthcare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
A concurrent prediction was also performed using the features recorded from the same 3-year stage as the predicted outcome. ...
The XGBoost model presented the best predictive performance among the non-concurrence models. ...
Table 4 . 4 Model predictions of osteopenia in the third stage (2012-2014) using concurrent and non-concurrent features. ...
doi:10.3390/healthcare9080948
fatcat:owsiobsjerfvveattlrch6yjki
A feature-based concurrent engineering environment
[chapter]
1995
Balanced Automation Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper presents an approach to a Concurrent Engineering Environment (CEE) development based on Feature Technology. This proposal is specially useful in the Design for Manufacturing (DFM). ...
This may be achieved by using a constructive element called "feature" where the information is modeled. ...
main contributions of the authors described in this paper could be considered as the feature-based approach to the part modeling in order to create a concurrent engineering environment. ...
doi:10.1007/978-0-387-34910-7_39
fatcat:t3txbv7t7jdmnfdw2e7gik7a6u
Teager energy enhancement base on polar coordinates at angular domain and feature extraction of bearing's early fault
2018
Vibroengineering PROCEDIA
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Analysis result of actual signal shows that single or concurrent fault feature of bearing's early failure is effectively extracted by TEEPAD, and the other components having different periods or random ...
Firstly, order analysis is selected to resample the unstable signal in time domain to stationary signal in angular domain, then Teager energy operator of stationary signal in angular domain is calculated ...
TEEPAD analysis of single and concurrent fault ...
doi:10.21595/vp.2018.19907
fatcat:ooofiqc2yrg5pij5ssfr6pize4
An Empirical Study of Messaging Passing Concurrency in Go Projects
2019
2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, we analyse 865 Go projects from GitHub in order to understand how message passing concurrency is used in publicly available code. ...
Our results include the following findings: (1) message passing primitives are used frequently and intensively, (2) concurrencyrelated features are generally clustered in specific parts of a Go project ...
Our analysis relies on a traversal of the abstract syntax tree of Go files in which we count the syntactical occurrences of different concurrency features. ...
doi:10.1109/saner.2019.8668036
dblp:conf/wcre/DilleyL19
fatcat:fm6a4xjzt5aprnxdcpkq4rjnr4
Building scalable software systems in the multicore era
2010
Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The problem of increased complexity is often solved by dividing systems into modules in a way that permits analysis of these modules in isolation. ...
of their software using programming language features and design practices that reconcile modularity and concurrency goals. ...
Dyer, and Wayne Rowcliffe was instrumental in developing and evolving these ideas. ...
doi:10.1145/1882362.1882423
dblp:conf/sigsoft/Rajan10
fatcat:rcr52yy2tjbjtapmhwcf22hq5q
Music with Concurrent Saliences of Musical Features Elicits Stronger Brain Responses
2021
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Differences in brain reactions can be identified depending on the concurrence (or not) of such significant values of different features, proving that coterminous increments in several qualities of music ...
to perform a statistical analysis intended to test the initial hypothesis. ...
Future research can deepen the analysis of the effects of concurrent changes in audio features, the analysis of EEG signals by using other features, and the enlargement of the set of musical features to ...
doi:10.3390/app11199158
fatcat:o2waradrengcbmpbyona2tsftq
Risk analysis for intellectual property litigation
2011
Proceedings of the 13th International Conference on Artificial Intelligence and Law - ICAIL '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
., historical and concurrent behavior of the entities involved in the case. ...
We introduce the problem of risk analysis for Intellectual Property (IP) lawsuits. ...
Table 1 : Analysis of concurrent lawsuits. ...
doi:10.1145/2018358.2018375
dblp:conf/icail/SurdeanuNGWM11
fatcat:busaorbl2zfehipzjin4cqwbia
Web-Based Concurrent Stamping Part and Die Development
2002
Concurrent Engineering - Research and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Among the Web-based design services, the part shape analysis and feature-based cost evaluation are further illustrated in detail. ...
The design services, which are the components of the Web server and play key roles in implementing the Webbased concurrent stamping part and die development, are then investigated in depth. ...
Part Shape Analysis In this research, the feature-based design approach is used to represent the stamping part as the features can capture a deep understanding of the design. ...
doi:10.1177/106329302761689133
fatcat:ps4i3vthsbfctacddeytw7p2k4
Metric-driven reengineering for static concurrency analysis
1993
Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
An approach to statically analyzing a concurrent program not suitedfor analysis is described. ...
The program is reengineered to reducethe complexity of concurrencyrelated activities, thereby reducing the concurrency state space. ...
Ci does not depend on overall program size, in terms of number of tasking features. ...
doi:10.1145/154183.154196
dblp:conf/issta/LevineT93
fatcat:v7s7c4rcmrhspphhazlxghsdhe
« Previous
Showing results 1 — 15 out of 576,846 results