Skip to main content

Research Repository

Advanced Search

Outputs (66)

New intensity functions in hydraulic repairable systems (2008)
Presentation / Conference Contribution
Rathie, P., Caiado, C., & Swamee, P. (2008, December). New intensity functions in hydraulic repairable systems. Presented at National Conference on Hydraulics and Water Resources (Hydro 2008), Jaipur, India

Verifying BPEL-like Programs with Hoare Logic (2008)
Journal Article
Luo, C., Qin, S., & Qiu, Z. (2008). Verifying BPEL-like Programs with Hoare Logic. Frontiers of Computer Science in ChinabOnline, 2(4), 344-356. https://doi.org/10.1007/s11704-008-0039-2

The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechanism. To understand it better, many recent works have mainly focused on... Read More about Verifying BPEL-like Programs with Hoare Logic.

A Heap Model for Java Bytecode to Support Separation Logic (2008)
Presentation / Conference Contribution
Luo, C., He, G., & Qin, S. (2008, December). A Heap Model for Java Bytecode to Support Separation Logic. Presented at 15th Asia-Pacific Software Engineering Conference (APSEC 2008), Beijing, China

Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or being downloaded into such devices are often available in low-level bytecod... Read More about A Heap Model for Java Bytecode to Support Separation Logic.

Power-law behavior in the quantum-resonant evolution of the delta-kicked accelerator (2008)
Journal Article
Halkyard, P., Saunders, M., Gardiner, S., & Challis, K. (2008). Power-law behavior in the quantum-resonant evolution of the delta-kicked accelerator. Physical Review A, 78(6), https://doi.org/10.1103/physreva.78.063401

We consider the atom-optical delta-kicked accelerator when the initial momentum distribution is symmetric. We demonstrate the existence of quantum-resonant dynamics, and derive analytic expressions for the system evolution. In particular, we consider... Read More about Power-law behavior in the quantum-resonant evolution of the delta-kicked accelerator.