Filters








4,986 Hits in 5.3 sec

Ravenscar-Java: a high-integrity profile for real-time Java

Jagun Kwon, Andy Wellings, Steve King
2005 Concurrency and Computation  
Following the philosophy of the Ravenscar profile, we propose a high integrity profile for real-time Java (called Ravenscar-Java) that offers a more reliable and predictable programming environment.  ...  The main aims of the subset are to support a predictable computational model and to enable a small efficient and predictable run-time support system to be produced.  ...  Memory Management To facilitate predictable memory utilisation we define several rules in the three aforementioned areas (see Appendix A for the full list and rationales).  ... 
doi:10.1002/cpe.843 fatcat:e5qpwkrudfafzjsaeqfagcuas4

Portable and accurate sampling profiling for Java

Walter Binder
2006 Software, Practice & Experience  
Our framework offers a flexible API to write portable profiling agents in pure Java.  ...  This article presents a novel framework for the sampling-based profiling of Java programs, which relies on program transformation techniques.  ...  ACKNOWLEDGEMENT Thanks to Jarle Hulaas who evaluated the overhead caused by the exact profiler JP.  ... 
doi:10.1002/spe.712 fatcat:jbo5lcv6zbfxnjx47omi2inztq

Explain your data by Concept Profile Analysis Web Services

Kristina M. Hettne, Reinout van Schouwen, Eleni Mina, Eelke van der Horst, Mark Thompson, Rajaram Kaliyaperumal, Barend Mons, Erik van Mulligen, Jan A. Kors, Marco Roos
2014 F1000Research  
Here we present a new suite of Web Service operations that allows bioinformaticians to design and execute their own Concept Profile Analysis workflow, possibly as part of a larger bioinformatics analysis  ...  The Concept Profile Analysis technology (overlapping co-occurring concept sets based on knowledge contained in biomedical abstracts) has led to new biomedical discoveries, and users have been able to interact  ...  Technical specifications We implemented the CPA WS using Java, Model-View-Controller (MVC) Spring framework, and Apache Tomcat following the Java API for XML WS (JAX-WS) specifications.  ... 
doi:10.12688/f1000research.4830.1 fatcat:gkvuatk4sjcs7iv45opt3win5u

A UML Profile to Model Mobile Systems [chapter]

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta
2004 Lecture Notes in Computer Science  
In this paper we propose a UML profile to deal with all the relevant issues of a mobile system, concerning the mobility of both physical (e.g. computing nodes) and logical (e.g. software components) entities  ...  In the definition of this profile, the underlying idea has been to model mobility (in both physical and logical sense) as a feature that can be "plugged" into a pre-existing architecture, to ease the modelling  ...  Here we define the semantics of the proposed extensions that build up the profile. Place Semantics and rationale.  ... 
doi:10.1007/978-3-540-30187-5_10 fatcat:bxisxohyerd5vlowtzezdhx4yy

UML-based Cloud Application Modeling with Libraries, Profiles, and Templates

Alexander Bergmayr, Javier Troya, Patrick Neubauer, Manuel Wimmer, Gerti Kappel
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
We discuss CAML's realization as a UML internal language that is based on a model library for expressing deployment topologies and a set of profiles for wiring them with cloud provider offerings.  ...  Finally, we report on the use of UML templates to contribute application deployments as reusable blueprints and identify conceptual mappings between CAML and the recently standardized TOSCA.  ...  In Section 3, we give the design rationale of CAML and provide insights into its model library and the covered UML profiles whereas in Section 4, we discuss the employment of UML templates as reusable  ... 
dblp:conf/models/BergmayrTNWK14 fatcat:mnsx2z7msveqfncbxjcluerjwa

miRTarVis: an interactive visual analysis tool for microRNA-mRNA expression profile data

Daekyoung Jung, Bohyoung Kim, Robert J Freishtat, Mamta Giri, Eric Hoffman, Jinwook Seo
2015 BMC Proceedings  
Results: We designed and implemented miRTarVis, which is an interactive visual analysis tool that predicts targets of miRNAs from miRNA-mRNA expression profile data and visualizes the resulting miRNA-target  ...  A demand for a miRNA-mRNA visual analysis tool that features novel miRNA prediction algorithms and more interactive visualization techniques exists.  ...  NRF-2014R1A2A2A03006998) and by the Korea government of MEST (No. 2011-0030813).  ... 
doi:10.1186/1753-6561-9-s6-s2 pmid:26361498 pmcid:PMC4547149 fatcat:yqx6wqz7zjeglbnh5mdyxrut24

Driver behaviour profiling based on trajectory analytics

Harris Georgiou, Nikos Pelekis, Yannis Theodoridis
2021 Zenodo  
A wide range of statistical, time series and spectral methods are implemented as feature functions or 'encoders' of various aspects of short-term mobility tracking.  ...  In our experimental study, a large real-world trajectory dataset is processed and transformed into such a feature-vector dataset, which is subsequently used in unsupervised training and adaptive category  ...  safety at a lower or higher degree according to how predictable the trajectory of the car is; in other words, the more predictable a car's path is, the safer its driving profile is for everyone (anticipate  ... 
doi:10.5281/zenodo.5708677 fatcat:4v67yyi7hfd7diq3nv6v6h3nxq

Profiling Gas Consumption in Solidity Smart Contracts [article]

Andrea Di Sorbo, Sonia Laudanna, Anna Vacca, Corrado A. Visaggio, Gerardo Canfora
2021 arXiv   pre-print
However, the deployment and execution costs of a smart contract depend on the implementation choices done by developers.  ...  In this paper, we (i) identify a set of 19 Solidity code smells affecting the deployment and transaction costs of a smart contract, and (ii) assess the relevance of such smells through a survey involving  ...  On static profiling and optimization of Ethereum smart contracts, Correas et al.  ... 
arXiv:2008.05449v3 fatcat:ymkm2q4pbzhwjjoiv63evycrui

A Novel Approach for Learning How to Automatically Match Job Offers and Candidate Profiles [article]

Jorge Martinez-Gil, Alejandra Lorena Paoletti, Mario Pichler
2017 arXiv   pre-print
In this context, it is widely accepted that semi-automatic matching algorithms between job and candidate profiles would provide a vital technology for making the recruitment processes faster, more accurate  ...  Automatic matching of job offers and job candidates is a major problem for a number of organizations and job applicants that if it were successfully addressed could have a positive impact in many countries  ...  Acknowledgments The authors would like to thank the anonymous reviewers for their helpful and constructive comments that greatly contributed to improve this work.  ... 
arXiv:1611.04931v2 fatcat:ypmp4cdzvfbvvkmmzao3thjbae

Assessing market-based conservation governance approaches: a socio-economic profile of Indonesian markets for wild birds

Paul Jepson, Richard J. Ladle, Sujatnika
2011 Oryx  
One of the most difficult situations for conservation is where state capacity to regulate is weak, major corporate organizations are absent, and the population does not have a strong culture of wildlife  ...  In such situations the introduction of a voluntary, market-based approach could interact with regulation to create new and more effective approaches to reducing the negative conservation impacts of the  ...  Shinta Puspitisari conducted a phone interview survey of bird keepers. We thank anonymous reviewers for their constructive comments.  ... 
doi:10.1017/s003060531100038x fatcat:la3t3p3ikjei5kb2hgl26szmiy

A Novel Approach for Learning How to Automatically Match Job Offers and Candidate Profiles

Jorge Martinez
2017 Figshare  
In this context, it is widely accepted that semi-automatic matching algorithms between job and candidate profiles would provide a vital technology for making the recruitment processes faster, more accurate  ...  Automatic matching of job offers and job candidates is a major problem for a number of organizations and job applicants that if it were successfully addressed could have a positive impact in many countries  ...  All authors are with Software Competence Center Hagenberg GmbH Softwarepark 21 4232 Hagenberg, Austria Acknowledgments The authors would like to thank the anonymous reviewers for their helpful and constructive  ... 
doi:10.6084/m9.figshare.5602921.v1 fatcat:7vonophgxbdjfnyz42mdcwkmza

Charismatic Leader on Developing Visionary Pesantren Bidayatul Hidayah in East Java: Profile and Strategy of Dr. KH. Ahmad Musthofa Kamal's Leadership

Muhammad Thoyib
2018 Jurnal Pendidikan Islam  
KH Ahmad Musthofa Kamal) and his development strategy of visionary pesantren Bidayatul Hidayah Pasuruan East Java that has competitive value, both in national and international level.  ...  of them on him, including in the implementation of his pesantren education policy; And the strategy of developing visionary pesantren which undertaken by Dr.KH.  ...  Muhammad Thoyib Charismatic Leader on Developing Visionary Pesantren Bidayatul Hidayah in East Java: Profile and Strategy of Dr. KH.  ... 
doi:10.14421/jpi.2018.71.79-99 fatcat:ebe3pjitgvaend4yhhv3zuob2e

Assessment of the Java programming language for use in high integrity systems

Jagun Kwon, Andy Wellings, Steve King
2003 SIGPLAN notices  
Based on previous studies, guidelines, and standards, we develop 23 criteria that are used for the following assessment of Java.  ...  This paper sets a goal of investigating the use of Java in the development of high integrity systems.  ...  [13] suggest that a restricted programming model or profile can help produce efficient and predictable systems by removing language features with high overheads, and complex and erroneous semantics.  ... 
doi:10.1145/844091.844099 fatcat:rbnpxm6lxrfc5fa7i7hdzrqosq

Towards Engineering Ontologies for Cognitive Profiling of Agents on the Semantic Web

Amna Basharat, Gabriella Spinelli
2008 2008 32nd Annual IEEE International Computer Software and Applications Conference  
for cognitive profiling in order to increase cognitive awareness between themselves, which in turn promotes flexibility, reusability and predictability of agent behavior; thus contributing towards minimizing  ...  This is due to the fact that most agent-based applications assume pre-defined knowledge of agents' capabilities and/or neglect basic cognitive and interactional requirements in multi-agent collaboration  ...  THE USE AND RATIONALE BEHIND COGNITIVE PROFILING OF AGENTS The framework is intended to aid the designer in modelling the agent behaviour and action through a cognitive cycle.  ... 
doi:10.1109/compsac.2008.212 dblp:conf/compsac/BasharatS08 fatcat:lqvtgwvy7zdyhcy43lzemj4mgi

miRNA Profiles as a Predictor of Chemoresponsiveness in Wilms' Tumor Blastema

Jenny A. Watson, Kenneth Bryan, Richard Williams, Sergey Popov, Gordan Vujanic, Aurore Coulomb, Liliane Boccon-Gibod, Norbert Graf, Kathy Pritchard-Jones, Maureen O'Sullivan, Alfred Lewin
2013 PLoS ONE  
The aim of this study was to generate a miRNA profile of chemo resistant blastemal cells in high risk Wilms' tumors which might serve as predictive markers of therapeutic response at the pre-treatment  ...  A total of 29 miRNAs were significantly differentially expressed between post-treatment intermediate risk and high risk groups, including miRNAs that have been previously linked to chemo resistance in  ...  This analysis was carried out using an algorithm implemented Java v1.5 and the TargetScan version 5.1 database.  ... 
doi:10.1371/journal.pone.0053417 pmid:23308219 pmcid:PMC3538586 fatcat:exrn646fyrf4jpbecan7gopcke
« Previous Showing results 1 — 15 out of 4,986 results