Filters








576,846 Hits in 3.6 sec

Rewriting Semantics and Analysis of Concurrency Features for a C-like Language

Traian Florin Şerbănuţă
2014 Electronical Notes in Theoretical Computer Science  
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

Kexin Ai, Minming Li, Ping Wu, Chengxin Deng, Xin Huang, Wei Ling, Ruohao Xu, Suxia Geng, Qihui Sun, Jianyu Weng, Xin Du
2021 American Journal of Cancer Research  
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

Vijoy Gaddipati, Judy M. Vance, Richard DeVries
1994 20th Design Automation Conference: Volume 1 — Dynamic Mechanical Systems; Geometric Modeling and Features; Concurrent Engineering   unpublished
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

A. Hamez, L. Hillah, F. Kordon, A. Linard, E. Paviot-Adet, X. Renault, Y. Thierry-Mieg
Sixth International Conference on Application of Concurrency to System Design (ACSD'06)  
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]

Stavros Papadopoulos, Konstantinos Votis, Christos Alexakos, Dimitrios Tzovaras
2014 IFIP Advances in Information and Communication Technology  
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

Xuejun Sun, Wei Qian, Dansheng Song
2004 Computerized Medical Imaging and Graphics  
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

Chao-Hsin Cheng, Ching-Yuan Lin, Tsung-Hsun Cho, Chih-Ming Lin
2021 Healthcare  
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]

N. P. Moreira, A. C. Ferreira
1995 Balanced Automation Systems  
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

Jianmin Mei, Chun Chang, Gang Ren
2018 Vibroengineering PROCEDIA  
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

Nicolas Dilley, Julien Lange
2019 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)  
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

Hridesh Rajan
2010 Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10  
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

Lorenzo J. Tardón, Ignacio Rodríguez-Rodríguez, Niels T. Haumann, Elvira Brattico, Isabel Barbancho
2021 Applied Sciences  
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

Mihai Surdeanu, Ramesh Nallapati, George Gregory, Joshua Walker, Christopher D. Manning
2011 Proceedings of the 13th International Conference on Artificial Intelligence and Law - ICAIL '11  
., 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

Kwai-Sang Chin, Dunbing Tang
2002 Concurrent Engineering - Research and Applications  
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

David L. Levine, Richard N. Taylor
1993 Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93  
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