RRC (Radio Resource Control) protocol belongs to the LTE protocol stack and handles the control plane signaling of Layer 3 between the User Equipment and E-UTRAN. The specifications of RRC conformance testing are released by 3GPP in the 36-series documents. RRC test suites are normally developed by use of the testing language TTCN-3 which has the characteristics of platform independence and abs...

Abstract GENO (generic optimization) is a domain specific language for mathematical optimization. The software generates solver from specification of an optimization problem class. problems, that is, their objective function and constraints, are specified in formal language. then translated into general normal form. Problems form passed on to purpose solver. In its Iterations, the evaluates exp...

Simulation of systems for the control of large numbers of objects such as traffic flows, network message traffic, etc is CPU intensive and may require inordinately long runs on conventional sequential processors. This work describes the Achilles reconfigurable processor and techniques for programming it to carry out Petri Net simulations. Achilles is an innovative 3-dimensional stack of FPGAs. ...

Discrete floating gates, nanocrystals or nitride traps, of Flash memory devices enable aggressive scaling of the tunneling oxide by relieving the total charge loss concern of the continuous floating gate [1]. However, a trade-off between the retention and program/erase (P/E) characteristics still remains. Nanocrystal memories with the direct tunneling oxide can still suffer serious retention de...

proton exchange membrane fuel cells (pemfcs) with a dead-ended anode and cathode can obtain high hydrogen and oxygen utilization by a comparatively simple system. nevertheless, the accumulation of the water in the anode and cathode channels might cause a local fuel starvation degrading the performance and durability of pemfcs. in this study, a brand new design for a polymer electrolyte membrane...

The System Vulnerability Stack is a novel method to compute a system’s vulnerability to transient faults (see Figure 1). The vulnerability stack observes that a system consists of multiple independent layers that interact through well-defined interfaces (e.g., the ISA). Therefore, the vulnerability stack quantifies fault masking within an individual layer by focusing on its interfaces: a fault ...

Objective: To develop a heuristic framework for students to organize and apply the many concepts of informatics for rapid use. Method: Organization of curriculum material and recurrent refinement by student feedback. An Informatics Stack was developed based on several existing informatics and software-development frameworks comprising several levels of abstraction, from what a system is suppose...