The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The smart phones and their applications add the richness of the VANET applications and increase the requirements on data dissemination support of the networks. This paper focuses on the link reliability model for data dissemination in urban VANETs. First, we extend the analytic model on 1-dimension road to the roads with orthogonal crossings. Then, we verify the link reliability model for the irregularly...
In order to ensure the enterprises can acquire the changes of the market at any time, thenadjust the strategies quickly, the state information of business process execution can reflect the situation best. If the status in a process model can be defined clearly, you can monitor the execution information of the process which is based on the processes run-time implementationquickly, andchange the process...
Service Oriented Computing and Global Computing are emerging paradigms for distributed computing. Many foundational models and calculi have been proposed for these paradigms. Despite their differences, these calculi essentially extend the traditional process calculi with novel abstractions tailored to handle specific issues. In this paper, we study the Signal Calculus which is a process calculus designed...
An advanced development environment contributes to research process greatly. This paper presents a novel adaptive dynamic loading and unloading mechanism applied to development environment for image processing algorithm and two implementation methods of the mechanism. Based on the inherent characteristic of variable arguments of functions in programming language and explicit linking technique for...
Warehouse data center is very large scale and complex, which constains tens of thousands servers and accomodates various applications. What's more important, energy consumption has risen to a critical point. Scheduling needs to maintain performance and reduce energy consumption as much as possible. Previous researches have proposed RL (reinforcement learning) as a solution. These approaches have reduced...
The micro architectural design space of a new processor is too huge for architects to handle with cycle-accurate simulators. Previous researches attack this problem by statistical learning methods such as Artificial Neural Networks (ANN) and statistical sampling solutions such as SimPoint. These approaches greatly reduce the simulation time while keeping the results of CPI precisely. However, all...
Firstly, based on symbolic computation system Maple, Lyapunov stability theory and a backstepping design with one controller, a new systematic, automatic and concrete scheme is extended to study the generalized (lag, complete and anticipated) synchronization of disk dynamo model with a strict-feedback form. Secondly, two disk dynamo models with different initial values are chosen to illustrate the...
Although parametric representations and reparameterizations are used, the bottleneck of symbolic simulation is still the blowup of BDDs which may grow rapidly with the increase of simulation steps. In this paper, we implement symbolic simulation using SAT solvers with variables partition which reduces the sizes of BDDs and remains enough coverage while lowering backtracks of SAT solvers. This method...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.