Filters








8,995 Hits in 5.1 sec

Generating optimized code from SCR specifications

Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
2006 Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers and tool support for embedded systems - LCTES '06  
generates code from the optimized graph.  ...  To address this problem, this paper describes a method for generating efficient code from SCR (Software Cost Reduction) specifications.  ...  We also are grateful to Myla, Michael Colón, Ralph Jeffords and everyone else in NRL code 5546 for very useful discussions while this research was in progress.  ... 
doi:10.1145/1134650.1134670 dblp:conf/lctrts/RothamelLHL06 fatcat:lbsrzzme3zbmha2h5eeoptvfxy

Generating optimized code from SCR specifications

Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
2006 SIGPLAN notices  
generates code from the optimized graph.  ...  To address this problem, this paper describes a method for generating efficient code from SCR (Software Cost Reduction) specifications.  ...  We also are grateful to Myla, Michael Colón, Ralph Jeffords and everyone else in NRL code 5546 for very useful discussions while this research was in progress.  ... 
doi:10.1145/1159974.1134670 fatcat:z5hqn64dvnbhrl6nvyslix3c6a

Synthesis of FBD-based PLC design from NuSCR formal specification

Junbeom Yoo, Sungdeok Cha, Chang Hwoi Kim, Duck Yong Song
2005 Reliability Engineering & System Safety  
Since executable code can be automatically generated using CASE tools from FBD, much of software development is automated.  ...  As programmable logic controllers (PLCs) are widely used to implement real-time embedded software, synthesis of PLC code from a formal specification is desirable if transformation rules can be rigorously  ...  Conclusion and future work In this paper, we proposed a systematic procedure of generating FBD-based PLC code from NuSCR specification.  ... 
doi:10.1016/j.ress.2004.05.005 fatcat:pfbnrt2cd5fzneeuhjtmubum7i

Effectively Combining Software Verification Strategies: Understanding Different Assumptions

David Owen, Dejan Desovski, Bojan Cukic
2006 Proceedings - International Symposium on Software Reliability Engineering  
For the experiment, we created error-seeded versions of an SCR specification representing a real-world personnel access control system.  ...  We used SCR Toolset and Salsa invariant checker to determine that the violation detected by Lurch was indeed present in the specification.  ...  Acknowledgments We would like to thank Constance Heitmeyer from the Naval Research Laboratory (NRL), Washington DC, for providing invaluable input during the development of the PACS SCR specification and  ... 
doi:10.1109/issre.2006.24 dblp:conf/issre/OwenDC06 fatcat:2vurgcflcfdzdceg6kow242vwq

Identification of structurally conserved residues of proteins in absence of structural homologs using neural network ensemble

Ganesan Pugalenthi, Ke Tang, P. N. Suganthan, Saikat Chakrabarti
2008 Computer applications in the biosciences : CABIOS  
The NCL-NNE method was applied to 6042 SCRs that have been extracted from 496 protein domains.  ...  These results suggest the usefulness of NCL-NNE for facilitating the identification of SCRs utilizing information derived from a single protein structure.  ...  (a) Wild-type CheY from Escherichia coli (PDB code: 3CHY); (b) serum RBP (PDB code: 1JYD) and c) Cu-Zn superoxide dismutase (SOD) (PDB code: 2SOD).  ... 
doi:10.1093/bioinformatics/btn618 pmid:19038986 pmcid:PMC2638999 fatcat:mjbq76zrxnfjvpwk22n2l45vlq

Developing a Mathematical Model for Wind Power Plant Siting and Sizing in Distribution Networks

Seyed Morteza Alizadeh, Sakineh Sadeghipour, Cagil Ozansoy, Akhtar Kalam
2020 Energies  
The proposed model introduces six equations based on the SCC and X/R values seen from a particular PCC point.  ...  The equations were developed for two common types of Wind Turbine Generators (WTGs), including: the Induction Generator (IG) and the Double Fed Induction Generator (DFIG).  ...  Generally, the wind velocity is high at sites located far from the distribution substation.  ... 
doi:10.3390/en13133485 fatcat:tji5byb6fzdwtjbbswawtmybqe

The comparison of the commonly used surrogates for baseline renal function in acute kidney injury diagnosis and staging

Charat Thongprayoon, Wisit Cheungpasitporn, Andrew M. Harrison, Wonngarm Kittanamongkolchai, Patompong Ungprasert, Narat Srivali, Abbasali Akhoundi, Kianoush B. Kashani
2016 BMC Nephrology  
Propensity score to predict the likelihood of missing SCr was used to generate a simulated cohort of 3566 patients with baseline outpatient SCr, who had similar characteristics with patients whose outpatient  ...  Conclusions: When baseline outpatient SCr was not available, using SCr GFR-75 as surrogate for baseline SCr was found to be more sensitive but less specific for AKI diagnosis compared with using SCr ADM  ...  The Youden index, which yielded the highest sum of sensitivity and specificity, was used to identify the optimal GFR used for SCr estimation.  ... 
doi:10.1186/s12882-016-0220-z pmid:26748909 pmcid:PMC4707008 fatcat:iwluniq6uvftjgtgez2ha7rfbq

Multiple access control with intelligent bandwidth allocation for wireless ATM networks

M.C. Yuang, P.L. Tien
2000 IEEE Journal on Selected Areas in Communications  
In cooperation with TEP, IBA governs dynamic bandwidth allocation for ABR/SCR traffic through determining the optimal SD.  ...  IMACS supports four types of traffic-CBR, VBR, ABR, and signaling control (SCR).  ...  The generated throughput results then postulate the optimal SD's under various traffic conditions.  ... 
doi:10.1109/49.872954 fatcat:ya6jcgvwcbcvlfmpfijovi7d2q

Developing a Decision Tree Algorithm for Wind Power Plants Siting and Sizing in Distribution Networks

Santosh Ghimire, Seyed Morteza Alizadeh
2021 Energies  
grid codes are provided.  ...  In various literature works, optimal siting and sizing of distributed generation in distribution networks (DG) has been carried out using analytical, numerical, and heuristics approaches.  ...  Heuristics methods have been commonly used in optimal distributed generation placement (ODGP) because of their simplicity, generality, flexibility and superiority in solving optimization problems [12]  ... 
doi:10.3390/en14082293 fatcat:almvbcsnhjctpkto5fb5elm7vq

MicroRNA Target Detection and Analysis for Genes Related to Breast Cancer Using MDLcompress

Scott C Evans, Antonis Kourtidis, T Stephen Markham, Jonathan Miller, Douglas S Conklin, Andrew S Torres
2007 EURASIP Journal on Bioinformatics and Systems Biology  
Our new algorithm outperforms other grammar-based coding methods, such as DNA Sequitur, while retaining a two-part code that highlights biologically significant phrases.  ...  We describe initial results of miRNA sequence analysis with the optimal symbol compression ratio (OSCR) algorithm and recast this grammar inference algorithm as an improved minimum description length (  ...  The "loss of compressibility" inherent in adding a phrase to the model was one of the motivations of developing the SCR heuristic-preventing a "too greedy" absorption of phases from preventing optimal  ... 
doi:10.1186/1687-4153-2007-43670 fatcat:k67qmsaiwzfjlcka5cidy7zxpe

MicroRNA Target Detection and Analysis for Genes Related to Breast Cancer Using MDLcompress

Scott C. Evans, Antonis Kourtidis, T. Stephen Markham, Jonathan Miller, Douglas S. Conklin, Andrew S. Torres
2007 EURASIP Journal on Bioinformatics and Systems Biology  
Our new algorithm outperforms other grammar-based coding methods, such as DNA Sequitur, while retaining a two-part code that highlights biologically significant phrases.  ...  We describe initial results of miRNA sequence analysis with the optimal symbol compression ratio (OSCR) algorithm and recast this grammar inference algorithm as an improved minimum description length (  ...  The "loss of compressibility" inherent in adding a phrase to the model was one of the motivations of developing the SCR heuristic-preventing a "too greedy" absorption of phases from preventing optimal  ... 
doi:10.1155/2007/43670 pmid:18317504 pmcid:PMC3171339 fatcat:dxyxzntkwvbgth76ana2jsn75q

Ontology Modelling and Standardized Information Exchange with Content Delivery Applications in Technical Communication

Nägele Daniel, Vobl Patricia
2021 SHS Web of Conferences  
In general, Ontology tools, CCMS and CDP are not based on the same ecosystem and therefore, they do not always work together effortlessly.  ...  This paper aims to investigate the effect of SCR in the CDP of a CIS like ONTOLIS and to evaluate the use of exchange formats like iiRDS.  ...  For further specific information on SCR see reference [4] .  ... 
doi:10.1051/shsconf/202110202005 doaj:69cd0e61637249fea2f2f4f717b4f1d7 fatcat:ochnbllf7bedjm5qo2x3cjjsde

OPTIMIZATION OF SOLID CIRCULATION RATE IN COMPARTMENTED FLUIDIZED BED GASIFIER FOR POWER GENERATION

V. S. Chok, S. K. Wee, M. Z. Mohd. Ariffin, A. Gorin, H. B. Chua, H. M. Yan, Nader Barsoum, Sermsak Uatrongjit, Pandian Vasant
2008 AIP Conference Proceedings  
The steepest ascent method was applied on linear regression generated from these effects to design the subsequent optimization experiments.  ...  The optimum values of SCR have been estimated for both low and high bed level at specific operating parameters.  ...  Introduction Power generation using biomass is currently receiving mass attention from industries and academics due to its sustainable characteristics as compared to conventional fossil fuel [1] .  ... 
doi:10.1063/1.3008684 fatcat:cdbsbuiw4jfsll7hlrgvdmg6ti

Constructing a small modular stellarator in Latin America

V I Vargas, J Mora, J Asenjo, E Zamora, C Otárola, L Barillas, J Carvajal-Godínez, J González-Gómez, C Soto-Soto, C Piedras
2015 Journal of Physics, Conference Series  
Plasma will be confined in the volume by on axis magnetic field 43.8 mT generated by 12 modular coils with 6 turns each, carrying a current of 767.8 A per turn providing a total toroidal field (TF) current  ...  This paper aims at briefly describing the design and construction issues of the stellarator of Costa Rica 1 (SCR-1).  ...  The heating system was specifically designed to meet the requirements of the characteristics of this small stellarator [8] , with a focus on the efficiency of the energy transfer from the electromagnetic  ... 
doi:10.1088/1742-6596/591/1/012016 fatcat:tyrpnoyafvg3xkfmbqlcujs5zu

Specificity determinants and diversification of the Brassica self-incompatibility pollen ligand

T. Chookajorn, A. Kachroo, D. R. Ripoll, A. G. Clark, J. B. Nasrallah
2003 Proceedings of the National Academy of Sciences of the United States of America  
This remarkable adaptability suggests a hypothesis for generation of new self-incompatibility specificities by gradual modification of SRK-SCR affinities and, more generally, for functional specialization  ...  Here we show that specificity in SCR function is determined by four contiguous amino acids in one variant, indicating that the minimum sequence requirement for gaining a new specificity can be low.  ...  Part of this research was conducted using the resources of the Cornell Theory Center, which receives funding from Cornell University, New York State, federal agencies, foundations, and corporate partners  ... 
doi:10.1073/pnas.2637116100 pmid:14694189 pmcid:PMC327116 fatcat:bm7i3va755burptule5dap7g74
« Previous Showing results 1 — 15 out of 8,995 results