1,640 Hits in 5.1 sec

ASAP: An Extensible Platform for State Space Analysis [chapter]

Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
2009 Lecture Notes in Computer Science  
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms.  ...  ASAP supports a wide range of state space reduction techniques and is intended to be easy to extend and to use, making it a suitable tool for students, researchers, and industrial users that would like  ...  The aim and vision of ASAP is to provide an open platform suited for research, educational, and industrial use of state space exploration.  ... 
doi:10.1007/978-3-642-02424-5_18 fatcat:dpwhcuxp3ravfapbvqhb4mby4q


Kexin Rong, Peter Bailis
2017 Proceedings of the VLDB Endowment  
We introduce metrics to quantitatively assess the quality of smoothed plots and provide an efficient search strategy for optimizing these metrics that combines techniques from stream processing, user interface  ...  ., charting of key metrics such as server load over time) is increasingly prevalent in modern data platforms and applications.  ...  B.2 Pixel-aware Preaggregation We first provide an analysis for the pixel-aware preaggregation strategy.  ... 
doi:10.14778/3137628.3137645 fatcat:kvrrivbuxfcwtdcliqz2z2ereu

ASAP: amplification, sequencing & annotation of plastomes

Amit Dhingra, Kevin M Folta
2005 BMC Genomics  
Sequence analysis revealed large deletions in these species relative to tobacco plastome thus exhibiting the utility of this method for structural and comparative genomics studies.  ...  This simple, inexpensive method now allows immediate access to plastid sequence, increasing experimental throughput and serving generally as a universal platform for plastid genome characterization.  ...  Karen Koch, University of Florida for maize DNA; Professor Ben Elmo Whitty, University of Florida for tobacco plants and Professor John Gray, John Innes Institute, UK for pea chloroplast genome sequence  ... 
doi:10.1186/1471-2164-6-176 pmid:16336644 pmcid:PMC1318494 fatcat:zwwrf37qgfc7vayh2s5ptjat2q

ASAP: Automatic Semantics-Aware Analysis of Network Payloads [chapter]

Tammo Krueger, Nicole Krämer, Konrad Rieck
2011 Lecture Notes in Computer Science  
Security research has largely focused on network analysis using protocol specifications, for example for intrusion detection, fuzz testing and forensic analysis.  ...  Automatic inspection of network payloads is a prerequisite for effective analysis of network communication.  ...  However, it would be a valuable extension to include communication behavior analysis by exploiting methods of time series analysis inside the ASAP framework.  ... 
doi:10.1007/978-3-642-19896-0_5 fatcat:rrotphkukrgvvgafj2flw2j44e

ASAP: A Chinese Review Dataset Towards Aspect Category Sentiment Analysis and Rating Prediction [article]

Jiahao Bu, Lei Ren, Shuang Zheng, Yang Yang, Jingang Wang, Fuzheng Zhang, Wei Wu
2021 arXiv   pre-print
We hope the release of the dataset could shed some light on the fields of sentiment analysis. Moreover, we propose an intuitive yet effective joint model for ACSA and RP.  ...  platform in China.  ...  We implement several state-of-the-art (SOTA) baselines for ACSA and RP and evaluate their performance on ASAP.  ... 
arXiv:2103.06605v2 fatcat:z6vog3rwsra3layhrv677lo67m

ASAP: an environment for automated preprocessing of sequencing data

Eric S Torstenson, Bingshan Li, Chun Li
2013 BMC Research Notes  
Conclusions: ASAP provides an environment for building an automated pipeline for NGS data preprocessing. This environment is flexible for use and future development.  ...  Next-generation sequencing (NGS) has yielded an unprecedented amount of data for genetics research.  ...  Mingyao Li and Jason Moore for allowing us to test ASAP on their clusters. Funding This research was partly supported by the NIH grant R01HG004517. Author details  ... 
doi:10.1186/1756-0500-6-5 pmid:23289815 pmcid:PMC3541347 fatcat:hmaulc47tvbdljqo723ik7kkqi

Almost ASAP Semantics: From Timed Models to Timed Implementations [chapter]

Martin De Wulf, Laurent Doyen, Jean-François Raskin
2004 Lecture Notes in Computer Science  
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics.  ...  On the contrary, any correct Almost ASAP controller can be implemented by a program on a hardware if this hardware is fast enough.  ...  Acknowledgements We thank the anonymous referees for their valuable criticism and useful comments.  ... 
doi:10.1007/978-3-540-24743-2_20 fatcat:i2awjt4ovngf5khbyqbobh6pym

ASAP: Accelerated Short-Read Alignment on Programmable Hardware

Subho Sankar Banerjee, Mohamed El-Hadedy, Jong Bin Lim, Zbigniew T. Kalbarczyk, Deming Chen, Steven S. Lumetta, Ravishankar K. Iyer
2019 IEEE transactions on computers  
Our design is implemented on an Xilinx Virtex 7 FPGA in an IBM POWER8 system that uses the CAPI interface for cache coherence across the CPU and FPGA.  ...  We focus on the Levenshtein distance (edit-distance) computation kernel and propose the ASAP accelerator, which utilizes the intrinsic delay of circuits for edit-distance computation elements as a proxy  ...  We thank Jenny Applequist and Kathleen Atchley for their help in preparing the manuscript.  ... 
doi:10.1109/tc.2018.2875733 fatcat:je3idu2vebaavfdfjvvit2cd7y

Almost ASAP semantics: from timed models to timed implementations

Martin De Wulf, Laurent Doyen, Jean-François Raskin
2005 Formal Aspects of Computing  
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics.  ...  On the contrary, any correct Almost ASAP controller can be implemented by a program on a hardware if this hardware is fast enough.  ...  Acknowledgements We thank the anonymous referees for their valuable criticism and useful comments.  ... 
doi:10.1007/s00165-005-0067-8 fatcat:5d5zjspb3vgwxkbdqkm4inqo5m

Open Source Foodways: Agricultural Commons and Participatory Art

Allison Carruth
2016 ASAP/Journal  
an audience with the aim of altering the spaces and conventions of live performance.  ...  purposes of harvesting the produce for commercial sale; and (c) not to use any MATERIAL for any breeding, research, seed production, reverse engineering, molecular or genetic analysis or other purposes  ... 
doi:10.1353/asa.2016.0005 fatcat:inupy2iqmra55mv2c4xvvtemfu

ASAP: A Self-Adaptive Prediction System for Instant Cloud Resource Demand Provisioning

Yexi Jiang, Chang-shing Perng, Tao Li, Rong Chang
2011 2011 IEEE 11th International Conference on Data Mining  
Experimental results using historical data from an IBM cloud in operation demonstrate that ASAP significantly improves the cloud service quality and provides possibility for on-the-fly provisioning.  ...  In this paper, We present an online temporal data mining system called ASAP, to model and predict the cloud VM demands.  ...  The state-ofart VM provisioning technology costs tens of minutes on average to provision a VM.  ... 
doi:10.1109/icdm.2011.25 dblp:conf/icdm/JiangPLC11 fatcat:jmqdfcqifbhfzigttq3fozndnq

ASAP: Adaptive Transmission Scheme for Online Processing of Event-based Algorithms [article]

Raul Tapia, José Ramiro Martínez-de Dios, Augusto Gómez Eguíluz, Anibal Ollero
2022 arXiv   pre-print
ASAP is composed of two adaptive mechanisms. The first one prevents event processing overflows by discarding an adaptive percentage of the incoming events.  ...  ASAP has guaranteed convergence and is flexible to the processing algorithm. It has been validated on board a quadrotor and an ornithopter robot in challenging conditions.  ...  The extension of ASAP to a full-featured framework for eventbased vision research, including camera calibration, event stream analysis, and visualization tools is object of current development.  ... 
arXiv:2209.08602v1 fatcat:j6tx2dvbqjgsbbj2pbcx6bia6e

Software Configurable Processors

Jeffrey Arnold
2006 IEEE 17th International Conference on Application-specific Systems, Architectures and Processors (ASAP'06)  
To develop an application for the S5 the programmer identifies critical sections to be accelerated, writes one or more extension instructions as functions in a variant of the C programming language, and  ...  The S5000 is a family of high performance software configurable processors for embedded applications.  ...  For example, an adder and following state register will be merged into a single ALU to implement an accumulator.  ... 
doi:10.1109/asap.2006.61 dblp:conf/asap/Arnold06 fatcat:lhzzogpwajc3vhty6cs45a6px4

BRAHMA⁺: A Framework for Resource Scaling of Streaming and ASAP Time-Varying Workflows

Ankita Atrey, Gregory Van Seghbroeck, Bruno Volckaert, Filip De Turck
2018 IEEE Transactions on Network and Service Management  
In this paper, we study 3 the automatic workflow resource scaling problem for streaming 4 and ASAP workflows, and its time-varying variant where the 5 workflow resource requirements change over time.  ...  We propose an intelli-8 gent framework, BRAHMA + , which possesses the capability to 9 learn the workflow behavior and construct a knowledge base that 10 serves as its decision making engine.  ...  of an elastic platform for media distribution in the context of online collaborative services.  ... 
doi:10.1109/tnsm.2018.2830311 fatcat:eis6svgogjb6tkjiqxm5e5rt4m

Abstracts from the 32nd Biennial Conference of the Australian Society of Animal Production (ASAP)

2018 Animal Production Science  
The number of observations generated from the project will enable extensive genetic and economic analysis for the benefit of the Merino industry.  ...  The F1 ewes will be extensively assessed both visually and objectively for 5 to 6 years following an annual recording program outlined in Table 1 .  ...  The BEQI forms an important platform for establishing new benchmarks and identifying opportunities for improvement.  ... 
doi:10.1071/anv58n8abs fatcat:eq2yzh3k2rah5dh6pc5akrmaae
« Previous Showing results 1 — 15 out of 1,640 results