In this paper we have discussed the evolution of the congestion control and the bandwidth estimation mechanisms. Further we have presented the adaptive nature of the up-to-date bandwidth estimation algorithm. A compar...
详细信息
ISBN:
(纸本)9789537138127
In this paper we have discussed the evolution of the congestion control and the bandwidth estimation mechanisms. Further we have presented the adaptive nature of the up-to-date bandwidth estimation algorithm. A comparison and explanations about the four lowpass discrete time filter types we have used follows. the results from the conducted simulations are presented in graphical shape. the simulations are conducted with different error rates, congestion window sizes and with and without a RED and DropTail routers.
In this paper, we propose a Markov movement model for mobile terminals in wireless personal communication service networks and study the location registration problem. We formulate the location registration as a Marko...
详细信息
In this paper, we propose a Markov movement model for mobile terminals in wireless personal communication service networks and study the location registration problem. We formulate the location registration as a Markov decision process and prove that the optimal strategies have threshold structures. To avoid solving the Bellman dynamical programming equations, we propose a single sample path-based algorithm to tune thresholds of the strategies. Since the proposed algorithm uses only one sample path of the system, it can be implemented online
Improving software engineering education in Asia is more urgent than ever. the sheer size of Indian and Chinese educational systems has been producing a very large number of computer professionals from these two most ...
详细信息
Improving software engineering education in Asia is more urgent than ever. the sheer size of Indian and Chinese educational systems has been producing a very large number of computer professionals from these two most populous countries in the world. Some of the graduates are sufficiently trained to engage the "IT" career at a rather low level of the IT eco-system, namely programming, routine maintenance, system operation, and lowlevel software testing tasks. there are a sufficiently large number of software architects in India, but not in China. However, based on my observation, neither country has actually developed adequate and robust software engineering education and training programs that may have hindered the further progress of their software industries. In recent years some name brand companies, namely IBM, Microsoft, and the like, began training programs in India and China to train so-called software engineers. Nevertheless, such programs are vendor-based and product-specific thus would not be able to produce software engineers who can work independently from a product line offered by such vendor
Many software engineering projects use open source software tools or components. the project team's active participation in the open source community may be necessary for the team to use the technology. Based on a...
详细信息
Many software engineering projects use open source software tools or components. the project team's active participation in the open source community may be necessary for the team to use the technology. Based on an in-depth field study of industry software engineering project students interacting with an open source community, we find that participation in the community may affect the team's work and learning by strengthening the power of the broker between the team and the community. We outline pitfalls and benefits of having student teams acquire development-related knowledge from open source communities. the findings are relevant to the organization and supervision of software engineering student projects interacting with open source communities.
A concept for data integration and risk analysis in animal husbandry production is presented in this paper. the proposed animal husbandry data integration and analysis model structure consists of three layers, each of...
详细信息
ISBN:
(纸本)9781665482134
A concept for data integration and risk analysis in animal husbandry production is presented in this paper. the proposed animal husbandry data integration and analysis model structure consists of three layers, each of which combines the tasks to be performed. the architecture for data integration and its components are described. the workflow organization is depicted in details including modules and their connections used for data exchange. On the base of the presented workflow experiments were implemented. To perform the experimental part of the study, statistical data on the population of domestic animals is used. the analysis of their results show the trend in the risk of animal husbandry production.
Content management and protection are important features of emerging home network technologies. In this paper, we present the design of content protection for workplace client technology (CPWCT), a novel secure conten...
详细信息
Content management and protection are important features of emerging home network technologies. In this paper, we present the design of content protection for workplace client technology (CPWCT), a novel secure content management system. In CPWCT, devices in a home network are organized in a secure P2P cluster leveraging the xCP cluster protocol. Additionally, a P2P content management mechanism is implemented which includes lightweight secure streaming and RDF based capability-aware content indexing technologies. We show how this approach can significantly enhance the ability to dynamically self-reorganize the underlying topology and deploy context sensitive functionality
this book constitutes the proceedings of the 30thinternationalconference on Parallel and Distributed Processing Techniques, PDPTA 2024, held as part of the 2024 World Congress in Computer Science, Computer Engineeri...
详细信息
ISBN:
(数字)9783031856389
ISBN:
(纸本)9783031856372
this book constitutes the proceedings of the 30thinternationalconference on Parallel and Distributed Processing Techniques, PDPTA 2024, held as part of the 2024 World Congress in Computer Science, Computer Engineering and Applied Computing, in Las Vegas, USA, during July 22 to July 25, 2024.
the 24 papers included in this book were carefully reviewed and selected from 143 submissions. they have been organized in topical sections as follows: Parallel and distributed processing techniques and applications and HPC and Workshop on Mathematical Modeling and Problem Solving.
Language and paradigm choice for teaching computer programming is an on-going debate. We have been using Visual Basic for the introductory course and C++ for the advanced course. Unfortunately, many of our students st...
详细信息
Language and paradigm choice for teaching computer programming is an on-going debate. We have been using Visual Basic for the introductory course and C++ for the advanced course. Unfortunately, many of our students struggle in the introductory course. We are currently re-engineering our degree. While our introductory course should ideally be language-independent, we feel that students will gain a better understanding if their algorithms are executable. therefore, we have decided to use the procedural paradigm, with C++ as the implementation language for this course.
Bounded model checking (BMC) has successfully been used for many practical program verification problems, but concurrency still poses a challenge. Here we describe a new approach to BMC of sequentially consistent C pr...
详细信息
ISBN:
(纸本)9783319088679;9783319088662
Bounded model checking (BMC) has successfully been used for many practical program verification problems, but concurrency still poses a challenge. Here we describe a new approach to BMC of sequentially consistent C programs using POSIX threads. Our approach first translates a multi-threaded C program into a nondeterministic sequential C program that preserves reachability for all round-robin schedules with a given bound on the number of rounds. It then re-uses existing high-performance BMC tools as backends for the sequential verification problem. Our translation is carefully designed to introduce very small memory overheads and very few sources of nondeterminism, so that it produces tight SAT/SMT formulae, and is thus very effective in practice: our prototype won the concurrency category of SV-COMP14. It solved all verification tasks successfully and was 30x faster than the best tool with native concurrency handling.
暂无评论