Search
Now showing items 81-90 of 384
Automated extraction of feature models from android based portable devices
(IEEE, 2017)
Domain analysis is an essential activity in software product line engineering to identify common and variable features among the products of a product family. Feature models are commonly used for depicting the identified ...
FORMAT: a tool for adapting test models based on feature models
(IEEE, 2017)
We introduce a tool that facilitates the reuse of test models for a family of systems. Test models are defined as hierarchical Markov chains for specifying possible usage of features for these systems. Variability among ...
Statistical modeling of propagation channels for Terahertz band
(IEEE, 2017)
Digital revolution and recent advances in telecommunications technology enable to design communication systems which operate within the regions close to the theoretical capacity limits. Ever-increasing demand for wireless ...
Generating runtime verification specifications based on static code analysis alerts
(2017-12)
There are various approaches in order to find bugs in a software system. One of these approaches is static code analysis, which tries to achieve this goal by analyzing code without executing it. Another complementary ...
ViLDAR: a novel speed estimation system using visible light in vehicles
(IEEE, 2017)
In this paper, we introduce Visible Light Detection and Ranging (ViLDAR): a novel speed estimation system that utilizes visible light variation during a known time difference. The use of light emitting diodes (LED) in ...
FPGA implementation of a dense optical flow algorithm using altera OpenCL SDK
(2017-08)
FPGA acceleration of compute-intensive algorithms is usually not regarded feasible because of the long Verilog or VHDL RTL design efforts they require. Data-parallel algorithms have an alternative platform for acceleration, ...
Landscape design principles of theme parks: a comparable study
(2017-09)
Theme park phenomenon is a new trend and have recently taken an important place in tourism industry. These kind of parks, which are designed with a different and new design system are different from city parks and amusement ...
Search for new phenomena with multiple charged leptons in proton–proton collisions at s√=13 TeV
(Springer International Publishing, 2017-09-22)
Results are reported from a search for physics beyond the standard model in final states with at least three charged leptons, in any combination of electrons or muons. The data sample corresponds to an integrated luminosity ...
Negotiation for incentive driven privacy-preserving information sharing
(Springer International Publishing, 2017)
This paper describes an agent-based, incentive-driven, and privacy-preserving information sharing framework. Main contribution of the paper is to give the data provider agent an active role in the information sharing process ...
Hardware division by small integer constants
(IEEE, 2017-12)
This article studies the design of custom circuits for division by a small positive constant. Such circuits can be useful for specific FPGA and ASIC applications. The first problem studied is the Euclidean division of an ...
Share this page