Research explorer tool

27 results

Evolution for the sustainability of Internetware.

Conference Proceeding
Fang, D., Liu, X., Liu, L., & Yang, H. (2012)
Evolution for the sustainability of Internetware. In Proceedings of Internetware'12https://doi.org/10.1145/2430475.2430492
Along with the green attentions and efforts on energy efficiency of computer hardware and embedded systems, software relevant sustainability issues are becoming increasingly f...

Experiments in Multicore and Distributed Parallel Processing using JCSP

Conference Proceeding
Kerridge, J. (2011)
Experiments in Multicore and Distributed Parallel Processing using JCSP. In J. F. Broenink, F. R. Barnes, J. Kerridge, P. H. Welch, A. T. Sampson, & J. B. Pedersen (Eds.), Communicating Process Architectures 2011, (131-142). https://doi.org/10.3233/978-1-60750-774-1-131
It is currently very difficult to purchase any form of computer system be it, notebook, laptop, desktop server or high performance computing system that does not contain a mul...

CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications

Conference Proceeding
Jaroucheh, Z., Liu, X., & Smith, S. (2010)
CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications. In CICIS'10 Proceedings, (209-216). https://doi.org/10.1109/cisis.2010.21
In a pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic ...

JCSPre: the Robot Edition to Control LEGO NXT Robots

Conference Proceeding
Kerridge, J., Panayotopoulos, A., & Lismore, P. (2008)
JCSPre: the Robot Edition to Control LEGO NXT Robots. In P. H. Welch, S. Stepney, F. A. Polack, F. R. Barnes, A. A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, 255-270. https://doi.org/10.3233/978-1-58603-907-3-255
JCSPre is a highly reduced version of the JCSP (Communicating Sequential Processes for Java) parallel programming environment. JCSPre has been implemented on a LEGO Mindstorms...

Testing and Sampling Parallel Systems

Conference Proceeding
Kerridge, J. (2007)
Testing and Sampling Parallel Systems. In A. A. McEwan, S. Schneider, W. Ifill, & P. Welch (Eds.), Communicating Process Architectures 2007, 149-162
The testing of systems using tools such as JUnit is well known to the sequential programming community. It is perhaps less well known to the parallel computing community becau...

Achieving smooth component integration with generative aspects and component adaptation.

Conference Proceeding
Feng, Y., Liu, X., & Kerridge, J. (2006)
Achieving smooth component integration with generative aspects and component adaptation. In M. Morisio (Ed.), Re-Use of Off-the-shelf Components: 9th International Conference on Software Reuse, 260-272. https://doi.org/10.1007/11763864_19
Due to the availability of components and the diversity of target applications, mismatches between pre-qualified existing components and the particular reuse context in applic...

Groovy Parallel! A Return to the Spirit of occam?

Conference Proceeding
Kerridge, J., Barclay, K., & Savage, J. (2005)
Groovy Parallel! A Return to the Spirit of occam?. In J. F. Broenink, H. W. Roebbers, J. P. Sunter, P. H. Welch, & D. C. Wood (Eds.), Communicating Process Architectures 2005, 13-28
For some years there has been much activity in developing CSP-like extensions to a number of common programming languages. In particular, a number of groups have looked at ext...

Active Serial Port: A Component for JCSP. Net Embedded Systems

Conference Proceeding
Clayton, S., & Kerridge, J. (2004)
Active Serial Port: A Component for JCSP. Net Embedded Systems. In P. H. Welch, J. M. Martin, D. Duce, M. Green, & I. R. East (Eds.), Communicating Process Architectures 2004, (85-98
The javax.comm package provides basic low-level access between Java programs and external input-output devices, in particular, serial devices. Such communications are handled ...

Formalizing botanical taxonomies.

Conference Proceeding
Priss, U. (2003)
Formalizing botanical taxonomies. https://doi.org/10.1007/b11835
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspect...

Interoperable Services for Federations of Database System.

Conference Proceeding
Roantree, M., Kennedy, J., & Barclay, P. J. (2002)
Interoperable Services for Federations of Database System. In A. Caplinskas, & J. Eder (Eds.), Advances in Databases and Information Systems: Fifth East-European Conference ADBIS' 2001
The problems associated with defining interoperable protocols for heterogenous information systems has been the subject of researchers for many years. While numerous solutions...