606,201 Hits in 4.1 sec

From VHDL register transfer level to SystemC transaction level modeling: a comparative case study

N. Calazans, E. Moreno, F. Hessel, V. Rosa, F. Moraes, E. Carara
16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings.  
This work presents a comparison of traditional register transfer level (RTL) modeling and transaction level modeling through the implementation of a simple processor case study.  ...  Transaction level (TL) modeling is regarded today as the next step in the direction of complex integrated circuits and systems design entry.  ...  Also, it shows a transaction level design flow employed in the design of the case study described in Section 3. The SystemC implementations of the case study are the subject of Section 4.  ... 
doi:10.1109/sbcci.2003.1232853 dblp:conf/sbcci/CalazansMHRMC03 fatcat:ozqweo5tfveappf7bpeqs64dry

Air quality street level simulations by using an integrated mesoscale air quality modelling system (MM5-CMAQ-EMIMO) and a CFD model (MIMO): Madrid case study

R. San José, J. L. Pérez, R. M. González
2006 Wit Transactions on Ecology and The Environment   unpublished
The advances in the capability of Computational Fluid Dynamics models and Air Quality Modelling Systems during the last decade have been quite substantial.  ...  At street level the differences in the concentration values at both sides of a street can be important, particularly, for instance, in relation to photochemical production during the summer time in Mediterranean  ...  Moussiopoulos (AUTH, Greece) for providing the MIMO model. Also to EPA/PSU/NCAR for providing the MM5-CMAQ modeling system and OSCAR EU project.  ... 
doi:10.2495/air06005 fatcat:pm264jvohvephe7etrfb2yuzeu

Concurrency control performance modeling: alternatives and implications

Rakesh Agrawal, Michael J. Carey, Miron Livny
1987 ACM Transactions on Database Systems  
restarts are modeled, and the amount of information available to the concurrency control algorithm about transactions' reference strings.  ...  The three approaches studied represent different extremes in how transaction conflicts are dealt with, and the assumptions addressed pertain to the nature of the database system's resources, how transaction  ...  The NSF-sponsored Crystal multicomputer project at the University of Wisconsin provided the many VAX 111750 CPU-hours that were required for this study.  ... 
doi:10.1145/32204.32220 fatcat:eqmapr6jmrf6bonooxoeov7u7i

Traceable complexity metric from requirements to code

Gabriela Arévalo, Gabriela Robiolo, Miguel Martinez Soler
2010 Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '10  
We validate our approach on transactions defined in use cases and implemented in source code.  ...  However, the metrics are only applied and isolated in one specific development phase and they can not trace the quality (and the evolution) of the same software artifacts in all development phases within  ...  Acknowledgements Our thanks to the Research Fund of School of Engineering of Austral University, which made this study possible.  ... 
doi:10.1145/1852786.1852866 dblp:conf/esem/ArevaloRS10 fatcat:dkl4dg3sgzd7jlcp6id6qx3ami

Modeling and Verification of Deadlock Potentials of a Concurrency Control Mechanism in Distributed Databases Using Hierarchical Colored Petri Net

Saeid Pashazadeh
2012 International Journal of Information and Education Technology  
State space analysis of model permits us to prove that all schedules of concurrent execution of transactions using 2PL in a case study is deadlock free nor not.  ...  Then a simple case study along with its state space analysis has presented.  ...  Fig. 3shows the structure chart of models' functions. Our model contains three transaction and two types of resources as a simple case study.  ... 
doi:10.7763/ijiet.2012.v2.86 fatcat:ysir5ybdbvcvnlf2b6zfsxni7q

Influence of Interlocking Directorates on Integration after the Acquisition of Warsaw Stock Exchange—Listed Companies

Anna Stankiewicz-Mróz
2019 Sustainability  
Studies have shown that the fact of connecting through interlocking affects the post-transaction integration model in the analyzed group.  ...  In addition, the CEOs surveyed from this group of companies declare having an integration plan with different levels of detail in each case.  ...  post-transaction integration model included in the study.  ... 
doi:10.3390/su11246955 fatcat:zr2jqyrmeffnhlghwlkztf4joq

Modeling Timestamp Ordering Method Using Colored Petri Net

Saeid Pashazadeh, Mahdi Rahimi
2015 Indian Journal of Science and Technology  
A formal hierarchical Coloured Petri Net (CPN) model of TO method is proposed along with a case study that is composed of two transactions.  ...  Simulation run of model generates its state space that is investigated for studying correctness of TO method. Transactions of case study are designed such that a bug of this method appears.  ...  Initial Markings Model checking and verification of TO method will be studied by a case study scenario. Table 1 shows two transactions of case study that will be executed concurrently.  ... 
doi:10.17485/ijst/2015/v8i35/77633 fatcat:d52i5kwtk5cp3bwrly6sbt4i74

Optimal Bidding Strategy for Physical Market Participants with Virtual Bidding Capability in Day-ahead Electricity Markets

Hossein Mehdipourpicha, Rui Bo
2021 IEEE Access  
CASE STUDIES The proposed models have been tested on systems of different size, and for different conditions (including uncongested and congested conditions).  ...  A case study on a deterministic condition illustrates a few optimal strategies that utilize virtual transaction to influence DA price in the way that benefits the physical generation profit.  ... 
doi:10.1109/access.2021.3087728 fatcat:vww7jw57n5dhrl7ax4ohh6cmei

Performance Evaluation of Two Multidatabase Transaction Management Algorithms

Yuri Breitbart, Abraham Silberschatz
1993 Computing Systems  
The first algorithm imposes no restrictions on the structure of the concurrency control mechanisms used by local DBMSs, except that transactions' execution order must coincide with their serialization  ...  is quite small for reasonable multiprogramming levels, and that the mul-@ Computing Systems, Vol. 6 .  ...  In the case of the transaction-graph algorithm, the maximum is reached at multiprogramming levels equal to 25 or 50 (depending on the number of local sites).  ... 
dblp:journals/csys/BreitbartS93 fatcat:3wb7x2qo4zhydch7zsldhyhxre

Evolving a model of transaction management with embedded concurrency control for mobile database systems

Subhash Bhalla
2003 Information and Software Technology  
Adoption of the techniques can be beneficial in general, and for other special cases of transaction management in distributed real-time database management systems.  ...  The proposed embedded concurrency control (ECC) techniques provide support on three counts, namely-to enhance concurrency, to overcome problems due to heterogeneity, and to allocate priority to transactions  ...  Based on the inferences provided by the studied model, Section 5 considers adaptation of the results for developing strategies for transaction management in mobile database systems.  ... 
doi:10.1016/s0950-5849(03)00045-4 fatcat:x3zu2wiz6rhtre2rtxmpay74yi

Exploring Mobile Commerce Adoption Maturity: An Empirical Investigation

Yousuf S. AlHinai, Mazen Ali
2015 Americas Conference on Information Systems  
In this study, we develop MC Adoption Maturity Model to show how individuals may mature in MC adoption. This model is examined by collecting qualitative data from 10 individuals.  ...  With the proliferation of mobile devices, studies on Mobile Commerce (MC) adoption have received increasing attention from researchers in Information Technology.  ...  The model in Figure 1 , illustrates how an individual progresses from one level of MC use to the next level.  ... 
dblp:conf/amcis/AlHinaiA15 fatcat:s7t3eojyhfg2rmwk4utrmcv5iu

Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation [chapter]

JinShan Yu, Tun Li, Yang Guo, QingPing Tan
2006 Lecture Notes in Computer Science  
Finally, transactions scheduling schemes and scheduling algorithm based on ESTPN are given and cases are studied.  ...  Firstly, an extended scheduling timed Petri nets (ESTPN) model is given to support transaction scheduling.  ...  Case studies We have implemented this scheduling methodology in our SoC system-level functional verification prototype system: SL-Gen.  ... 
doi:10.1007/11802167_74 fatcat:tzdicx4bqne35caexnxtvu5thq

Identification of the Risk Related to a Process on Hospital Emergency Service: a Case Study [article]

Carlos Santos, Armindo Rebelo, Carla Ferreira, José Tribolet
2012 arXiv   pre-print
The transactions performed in an emergency service and the consequent risk identification (negative behaviour associated to those transactions) is done based on static and dynamic models, developed during  ...  This decision will depend on the risk level that the organization considers acceptable.  ...  This paper presents a set of reflections connected to risk identification, based on models, associated to the organizational transactions at a "micro" level.  ... 
arXiv:1112.1661v2 fatcat:imkgvjczzfb2xi5i2c6yvrxpiu

A Framework to Test Advanced Web Services Transactions

Rubén Casado, Javier Tuya, Muhammad Younas
2011 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation  
It also reports on preliminary results and identifies future work. Web service testing; web service transaction, SOA testing I.  ...  Transactions are a key issue in the reliability of distributed applications because they ensure all the participants achieve a mutually agreed outcome.  ...  WORK DONE TO DATE We have studied the evolution of transaction model from ACID to current WS transactions approaches.  ... 
doi:10.1109/icst.2011.44 dblp:conf/icst/CasadoTY11 fatcat:ynhaghzm2jf4jgm4zgsewhnc3u

Conservative application-level performance analysis through simulation of MPSoCs

Andrew Nelson, Andreas Hansson, Henk Corporaal, Kees Goossens
2010 2010 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia  
We introduce a hybrid simulation method which enables performance guarantees on a per-trace basis, without any modelling effort.  ...  Hard real-time applications require no deadline misses, and a formal modelling approach must be used to analyse the worst-case performance, which is complicated and time consuming.  ...  CASE STUDIES In this section we will describe how our conservatively modelled simulation platform is applied in practice and evaluate our technique using case study analysis.  ... 
doi:10.1109/estmed.2010.5666984 dblp:conf/estimedia/NelsonHCG10 fatcat:kokcqobxknbjldzmrwnmpsdqo4
« Previous Showing results 1 — 15 out of 606,201 results