The Piccolo® Point-of-Care Chemistry Analyzer incorporates a process called iQC (“intelligent Quality Control”) that meets established QC standards independently of the operator’s skill level. iQC is a series of sophisticated automatic checks that verify the chemistry, optics, and electronics functions of the analyzer during each run, and ensures that operators in a wide range of environments r...

Background: Students' educational success depends on various factors, one of the most important factor is applying appropriate study methods To achieve this, a mobile educational application called: "Appropriate study and learning practices for students" was designed by the researchers to investigate the effect of using educational mobile application on study habits for students' educational su...

Java applets run on a Virtual Machine that checks code’s integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java applets to run on smart cards. Large memory space requirements of the verification process do not allow the implementation of a Bytecode Verifier embedded in the Java Card Virtual Machine. To address this feasibility proble...

Safe languages provide mechanisms to share data among multiple protection domains in a protected fashion, but lack support for revocation and control over resource usage. This paper describes a type system extension, called permits, to support the revocation of data structures. Permits use a combination of static and run-time checks to ensure the revocability of data shared between safe languag...

We’ve built a tool for debugging non-deterministic failures in production datacenter applications. Our system, called DCR, is the first to efficiently record and replay large scale, distributed, and data-intensive systems such as HDFS/GFS, HBase/Bigtable, and Hadoop/MapReduce. The enabling idea behind DCR is that debugging doesn’t require a precise replica of the original datacenter run. Instea...

This paper presents a new concurrent multiple-threaded architectural model, called superthreading, for exploiting thread-level parallelism on a processor. This architectural model adopts a thread pipelining execution model that allows threads with data dependences and control dependences to be executed in parallel. The basic idea of thread pipelining is to compute and forward recurrence data an...

In this study, a new fuzzy integral model with adaptation capability called as “Adaptive Fuzzy Integral” was proposed to use in particularly control systems instead of conventional fuzzy integral. Until now, in the fuzzy integral applications, the fuzzy density values of control criterias were defined fixed. But this structure is not suitable for dynamic characteristic of control systems. There...

The architecture of a system expresses the structural aspects of the system | the modules, the control structure, communication patterns , sharing of data and composition of modules. The architecture of a complex software system is a signiicant issue in the proper design, analysis and possibility of reuse of the software system. This paper describes how the architecture of an Ada program may be...