This paper presents modeling of embedded processors in Anahita Processor Description Language (APDL). APDL is a language for generation of retargetable processor design tool sets. The emphasis is on the applicability of the generated tools in the design space exploration (DSE) phase of designing new embedded processors. APDL introduces a new level of abstraction for processor description. This ...

This paper presents Anahita Processor Description Language (APDL) for generation of retargetable processor design tool sets. The emphasis is on the applicability of the generated tools in the design space exploration (DSE) phase of designing a new embedded processor. APDL descriptions can be used for generating cycle-accurate instruction set simulators, assembler/disassembler tools, production ...

Despite the proliferation of RFID systems and applications, there is still no easy way to develop, integrate and deploy non‐trivial RFID solutions. Indeed, the latter comprise various middleware modules (e.g., data collection and filtering, generation of business events, integration with enterprise applications), which must be deployed and configured independently. In this paper we introduce AP...

Following a suggestion of Pratt, we consider propositional dynamic logic in which programs are nondeterministic finite automata o~¢er atomic programs and tests (i.e., flowcharts), rather than regular expressions. While the resulting version of PDL, call it APDL, is clearly equivalent in expressive power to PDL, it is also (in the worst case) exponentially more succinct. In particular, deciding ...

Previous studies have demonstrated a discrete population of midmyocardial (M) cells in the ventricular myocardium having excessive action potential duration (APD) prolongation during long activation cycle lengths (CL) and under the influence of APD-prolonging agents. However, M cells have not been found in other studies. Existing explanations for the discrepancies appear inadequate. We hypothes...

It is well understood that processing personal data without effective data management models may lead to privacy violations. Such concerns have motivated the development of privacy-preserving systems and legal frameworks such as the EU General Data Protection Regulation. However, there is a disconnect between policy-makers and engineers with respect to the meaning of privacy. In addition, it is...

Firstly current status of temperature and thermal stress research of refractory product at home and aboard are analyzed. Finite element model of two classical refractory products is building by using APDL language. Distribution law of temperature and thermal stress of two typical refractory products-ladles and tundish are analyzed and their structures are optimized. Stress of optimal structure ...