There are currently several biological databases related to proteins depending on the information we are interested to extract. Therefore, since a heterogeneous set of features will be needed (domains, structures, ont...
详细信息
There are currently several biological databases related to proteins depending on the information we are interested to extract. Therefore, since a heterogeneous set of features will be needed (domains, structures, ontology terms, etc), several quite different databases should be consulted. The handling of different databases can become difficult, as each database could provide a different nomenclature for the same proteins. Anyway, these databases usually provides some mapping tools in order to determine the correspondence among the different nomenclatures used for the same protein. The main goal of this paper is to provide a biological database including a huge amount of protein information in order to be used for different purposes in bioinformatics. This database will be designed as a flexible and extensible tool and it could be extended and updated when new proteins are annotated or the included ones are modified.
Non-determinism in concurrent programs makes their debugging much more challenging than that in sequential programs. To mitigate such difficulties, we propose a new technique to automatically locate buggy shared memor...
详细信息
ISBN:
(纸本)9781450326568
Non-determinism in concurrent programs makes their debugging much more challenging than that in sequential programs. To mitigate such difficulties, we propose a new technique to automatically locate buggy shared memory accesses that triggered concurrency bugs. Compared to existing fault localization techniques that are based on empirical statistical approaches, this technique has two advantages. First, as long as enough successful runs of a concurrent program are collected, the proposed technique can locate buggy memory accesses to the shared data even with only one single failed run captured, as opposed to the need of capturing multiple failed runs in other statistical approaches. Second, the proposed technique is more precise because it considers memory accesses in those failed runs that terminate prematurely.
Non-determinism in concurrent programs makes their debugging much more challenging than that in sequential programs. To mitigate such difficulties, we propose a new technique to automatically locate buggy shared memor...
详细信息
The main memory system is a shared resource in modern multicore machines that can result in serious interference leading to reduced throughput and unfairness. Many new memory scheduling mechanisms have been proposed t...
详细信息
Future heterogeneous systems will integrate CPUs and GPUs on a single chip to achieve high computing performance as well as high throughput. In general, it would discard the current discrete pattern and will build a u...
详细信息
Leader election is a key service for many dependable ubiquitous systems. It eases the consistent management of replicas in current highly available computing scenarios. This paper presents our work on the design of a ...
详细信息
This paper presents a synthesis of current-mode PI, PD and PID controllers employing current conveyor transconductance amplifier (CCTA). The features of these controllers are that: the output parameters can be an elec...
详细信息
ISBN:
(纸本)9781479984992
This paper presents a synthesis of current-mode PI, PD and PID controllers employing current conveyor transconductance amplifier (CCTA). The features of these controllers are that: the output parameters can be an electronically controlled by adjusting corresponding bias currents, circuit description of the PID controller is simply formulated, it consists of only one CCTA cooperating with 2 grounded resistors and 2 grounded capacitors, PI and PD controllers are composed of single CCTA, 2 grounded resistors, 2 grounded capacitors and 3 grounded resistors, a grounded capacitor, respectively. This proposed circuit is very suitable to develop into an integrated circuit. The given results of the PSpice simulation agree well with the theoretical anticipation. The maximum power consumption in a closed-loop control system obtained from the PID controller and current-mode low-pass filter are approximately 0.393mW and PI and PD controllers are 0.379mW and 0.367mW, respectively at ±1.5V supply voltages.
In this paper we propose an empirical method to develop mapping strategies between a gestural-based interface (the Gloves) and physically based sound synthesis models. An experiment was conducted to investigate which ...
详细信息
Evolutionary coupling is defined as the implicit relationship between two or more software artifacts that are frequently changed together. In this study we investigate the effect of evolutionary coupling on defect pro...
详细信息
The use of social media involves employing web and mobile technologies to support interactive dialogue and mediate human communication. With the influence of social media in political, economic, and recreational field...
详细信息
暂无评论