作者: frenzy 時間: 2025-3-21 20:27 作者: nominal 時間: 2025-3-22 01:56
Maicon Melo Alves,Luan Teylo,Yuri Frota,Lúcia Maria de A. Drummonds the effect of .. A transition . is reversible if it is possible to add enough effect-reverses of . so to always being able to undo its effect, without changing the set of reachable markings..This paper studies the .: in a given Petri net, is a given transition . reversible? We show that, contraril作者: maintenance 時間: 2025-3-22 04:39
Nicholas T. Okita,Tiago A. Coimbra,Charles B. Rodamilans,Martin Tygel,Edson Borine. This behavior originates from the concept of net instances, which are similar to objects in object-oriented programming. The simulator . supports very basic distribution but the manual infrastructural setup for simulations exceeding the capabilities of one machine is left up?to the modeler until 作者: FAST 時間: 2025-3-22 11:06 作者: Feature 時間: 2025-3-22 16:51
ts of the . simulator are the absence of side effects, the use of logic program evaluation for the transition binding search and a concurrent simulation. Furthermore, the inscribed programs can be non-deterministic..In this contribution we present the tools that were developed so far: simulator, edi作者: MANIA 時間: 2025-3-22 17:15
Matheus S. Serpa,Eduardo H. M. Cruz,Jairo Panetta,Ant?nio Azambuja,Alexandre S. Carissimi,Philippe Oe graph is isomorphic to . if such a net exists. The decision version of this search problem, called .-feasibility, asks if, for a given TS ., there exists a Petri net . of type . with a state graph isomorphic to .. In this case, . is called .-feasible. .’s feasibility is equivalent to fulfilling tw作者: sperse 時間: 2025-3-23 01:08 作者: 大罵 時間: 2025-3-23 03:29
Vanderson S. de O. L. Sampaio,Douglas D. J. de Macedo,André Brittolevel Petri net formalisms have been proposed that are able to model and analyze coevolving cases. In this paper, we focus on a formalism tailored to conformance checking through alignments, which introduces challenges related to constraints the model should put on interacting process instances and 作者: 神化怪物 時間: 2025-3-23 07:48
Adriano Vogel,Cassiano Rista,Gabriel Justo,Endrius Ewald,Dalvan Griebler,Gabriele Mencagli,Luiz Gust of the Petri net-based cyber-physical system. In particular, the set of proposed modules permits the classification of the system, verification of its main properties (such as liveness, boundedness, and safeness), and the performance of advanced concurrency and sequentiality analysis of the system 作者: 充氣球 時間: 2025-3-23 11:18
Alessander Osorio,Marina Dias,Gerson Geraldo H. Cavalheiroremoving activities from an event log. The main idea is to create a projected event log for every non-empty subset of activities and apply process discovery and conformance checking on them. The tool has been implemented as a plugin in ProM. First, EPD-Tool uses a process discovery algorithm to disc作者: Benign 時間: 2025-3-23 16:48 作者: Grandstand 時間: 2025-3-23 19:08 作者: Tremor 時間: 2025-3-23 23:22 作者: radiograph 時間: 2025-3-24 03:55 作者: right-atrium 時間: 2025-3-24 08:09
ods for updating network configurations becomes more apparent. Any computer network is a complex distributed system and changes to its configuration may result in policy violations during the transient phase when the individual routers update their forwarding tables. We present an approach for autom作者: 冒失 時間: 2025-3-24 12:23 作者: META 時間: 2025-3-24 18:15 作者: antiandrogen 時間: 2025-3-24 21:19 作者: figment 時間: 2025-3-25 02:54
Automatic Minimization of Execution Budgets of SPITS Programs in AWS, we experiment how Spot instances and Availability Zones on the Amazon Web Services (AWS) could be utilized to reduce the processing budget. Not only that, but we propose instance selection algorithms in AWS to minimize the execution budget of programs implemented using the programming model Scalab作者: 抓住他投降 時間: 2025-3-25 03:22
Analysis of Virtualized Congestion Control in Applications Based on Hadoop MapReduce network flows of different volume and periodicity. In this regard, providers have the challenge of managing data centers with a wide range of operating systems and features. The diversity of algorithms and parameters related to TCP constitutes a heterogeneous communication scenario prone to degrada作者: multiply 時間: 2025-3-25 08:59 作者: FRONT 時間: 2025-3-25 13:24
SMCis: Scientific Applications Monitoring and Prediction for HPC Environmentscurrent barriers to achieve the computational exascale. However, this imposes some challenging tasks, such as to monitor a wide range of parameters in heterogeneous environments, to enable fine grained profiling and power consumed across different components, to be language independent and to avoid 作者: Individual 時間: 2025-3-25 16:24
Video7 Extended Architecture: Project Design and Statistical Analysista. As options for the storage, there are non-relational databases (NoSQL). The diversity of existing systems provokes the interest in proposing an architecture for the management of that content, in different types of databases. This work deepens the Video7 architecture for storing and retrieving s作者: 頭腦冷靜 時間: 2025-3-26 00:04
Parallel Stream Processing with MPI for Video Analytics and Data Visualizationtream processing can be implemented for handling high frequency and big data flows. The MPI parallel programming model offers low-level and flexible mechanisms for dealing with distributed architectures such as clusters. This paper aims to use it to accelerate video analytics and data visualization 作者: forecast 時間: 2025-3-26 03:23
Tangible Assets to Improve Research Quality: A Meta Analysis Case Studydated and reported. This meta-analysis extract from these papers terms (keywords) belonging to three categories: statistics, metrics and tests. From all 426 papers analyzed, 93% referred at least one of the terms considered, indicating that there is a concern that results should be reported in order作者: endoscopy 時間: 2025-3-26 07:18 作者: 嘮叨 時間: 2025-3-26 10:32 作者: nephritis 時間: 2025-3-26 15:17
A GPU-Based Parallel Reduction Implementation be performed in parallel when multiple processing units are available. This work presents a GPU-based approach for parallel reduction, which employs techniques like ., . and .. It avoids thread divergence and it is able to surpass the methods currently in use. Experiments conducted to evaluate the 作者: Biofeedback 時間: 2025-3-26 19:51
Evaluating Cache Line Behavior Predictors for Energy Efficient Processorshe systems, are leading into a crescent static energy consumption. In order to save some of this energy and optimize its component performance, many techniques were proposed. Cache line reuse predictors and dead line predictors are some examples. These mechanisms predict whenever a cache line shall 作者: Fabric 時間: 2025-3-26 22:16
lem and propose an improvement to enhance the performance of NIT under the race condition. The analysis suggests that the improvement can effectively alleviate the losing race problem. We hope that this research can contribute to the SIP community and demonstrate the usefulness of CPNs in protocol d作者: Memorial 時間: 2025-3-27 02:39 作者: 露天歷史劇 時間: 2025-3-27 05:48 作者: 大方不好 時間: 2025-3-27 12:27
Vanderson S. de O. L. Sampaio,Douglas D. J. de Macedo,André Brittoormal mathematical foundations of the globally aligned event log based on theory of partially ordered sets and propose an approximation technique based on the composition of individually aligned cases that resolves inter-case violations locally.作者: intercede 時間: 2025-3-27 17:12 作者: 全部逛商店 時間: 2025-3-27 19:10 作者: Angiogenesis 時間: 2025-3-27 23:28 作者: CRUMB 時間: 2025-3-28 06:01
Video7 Extended Architecture: Project Design and Statistical Analysis to a media server. The kruskal-wallis test was used to validated the measurements. Redis database presents better performance in the submitted routines, while Project Voldemort and Apache Cassandra perform poorly than other databases.作者: Bucket 時間: 2025-3-28 07:44 作者: 向外 時間: 2025-3-28 10:33 作者: Abrupt 時間: 2025-3-28 16:28
Evaluating Cache Line Behavior Predictors for Energy Efficient Processors predictor (SDP). Both mechanisms turn off dead cache lines using Gated-Vdd technique in order to save their static energy, thus analyzing how each policy (Priority replacement and cache Bypass) affects the energy savings and the system performance.作者: AMOR 時間: 2025-3-28 22:26
rocesses and the interactions of a decomposed typed Jackson Net yields a model that is bisimilar to the original system. We exploit this property to demonstrate that if a process discovery algorithm ensures rediscoverability, the system of interacting processes is rediscoverable.作者: pantomime 時間: 2025-3-28 23:38
Walid Abdala Rfaei Jradi,Hugo Alexandre Dantas do Nascimento,Wellington Santos Martinsess strategies are enough for winning. Moreover we introduce permissiveness for safety and reachability games as a criterion to choose between winning strategies and prove that one can compute a most permissive strategy (when it exists) in linear time.作者: grenade 時間: 2025-3-29 06:07
of synthetic and real-world network topologies, we document the efficiency of our approach and compare its performance with state-of-the-art tool NetSynth. Our experiments show that for several networks with up?to thousands of nodes, we are able to outperform NetSynth’s update schedule generation.作者: LEERY 時間: 2025-3-29 10:15
