- UHRA Home
- University of Hertfordshire
- Browsing University of Hertfordshire by Author
Browsing University of Hertfordshire by Author "Shafarenko, A."
Now showing items 1-20 of 30
-
An Active Organisation for Customised, Secure Agent Discovery
Shafarenko, A.; Antonopoulos, N. (2001)The area of software agents has experienced an exponential growth during the past decade, and is now being given a further boost by the introduction of global distributed computing services, such as Globus and Legion. The ... -
Adaptive Electrical Signal Post-Processing in Optical Communication Systems
Sun, Yi.; Shafarenko, A.; Adams, R.G.; Davey, N.; Slater, B.; Bhamber, R.; Boscolo, S.; Turitsyn, S.K. (INSTICC (Inst. Syst. Technologies Information Control and Communication), 2008)Improving bit error rates in optical communication systems is a difficult and important problem. The error correction must take place at high speed and be extremely accurate. We show the feasibility of using hardware ... -
An adaptive, reconfigurable interconnect for computational clusters
Shafarenko, A.; Vasekin, V. (2001)This paper describes the principles of an original adaptive interconnect for a computational cluster. Torus topology (2d or 3d) is used as a basis but nodes are allowed to effectively migrate along the torus cycles. An ... -
Asynchronous Stream Processing with S-Net
Grelck, C.; Scholz, S.; Shafarenko, A. (2010-02)We present the rationale and design of S-Net, a coordination language for asynchronous stream processing. The language achieves a near-complete separation between the application code, written in any conventional programming ... -
Coercion as homomorphism: type inference in a system with subtyping and overloading
Shafarenko, A. (ACM Press, 2002)A type system with atomic subtyping and a special form of operator overloading, which we call oset-homomorphism is proposed. A set of operator overloadings is said to be oset-homomorphic when for each pair of overloadings ... -
Concurrency engineering
Jesshope, C.; Shafarenko, A. (Institute of Electrical and Electronics Engineers (IEEE), 2008) -
Coordinating Data Parallel SAC Programs with S-Net
Grelck, C.; Scholz, S.; Shafarenko, A. (Institute of Electrical and Electronics Engineers (IEEE), 2007) -
Correcting Errors in Optical Data Transmission Using Neural Networks
Hunt, S.; Sun, Yi.; Shafarenko, A.; Adams, R.G.; Davey, N.; Slater, B.; Bhamber, R.; Boscolo, S.; Turitsyn, S.K. (2010)Optical data communication systems are prone to a variety of processes that modify the transmitted signal, and contribute errors in the determination of 1s from 0s. This is a difficult, and commercially important, problem ... -
Efficient weakly-constrained codes for mitigation of patterning effects in digital communications
Shafarenko, A.; Fedoruk, M.; Skidin, A.; Turitsyn, S.K. (2009)We propose specific modulation block codes for weakly-constrained coding and demonstrate that their performance is close to the theoretical limit. We also show that when such codes are used for the mitigation of patterning ... -
Gearing up : How to eat your cryptocake and still have it
Shafarenko, A.; Christianson, B. (2011-01-01)Often Alice and Bob share a fixed quantity of master key and subsequently need to agree a larger amount of session key material. At present, they are inclined to be cautious about generating too much session key material ... -
Gearing up : How to eat your cryptocake and still have it (transcript of discussion)
Shafarenko, A. (Springer Nature, 2011)This talk has to do with big, or rather huge numbers of bits, and how it affects security. I'm going to start with the observation that shared keys are not always small. Very long keys can be shared using the so-called ... -
General homomorphic overloading
Shafarenko, A. (Springer Nature Link, 2004)A general homomorphic overloading in a first-order type system is discussed and its attendant subtype inference problem is formulated. We propose a computationally efficient type inference algorithm by converting the ... -
A gentle introduction to S-NET : Typed stream processing and declarative coordination of asynchronous components
Grelck, C.; Scholz, S.-B.; Shafarenko, A. (2008-06-01)We present the design of S-NET, a coordination language and component technology based on stream processing. S-NET achieves a near-complete separation between application code, written in a conventional programming language, ... -
Identifying word boundaries in handwritten text
Sun, Yi.; Butler, T.; Shafarenko, A.; Loomes, M.J.; Adams, R.G.; Davey, N. (2004) -
Information theory analysis of skewed coding for suppresion of pattern-dependant errors in digital communications
Shafarenko, A.; Turitsyn, S.K.; Turitsyn, K.S. (2007)We present information-theory analysis of the tradeoff between bit-error rate improvement and the data-rate loss using skewed channel coding to suppress pattern-dependent errors in digital communications. Without loss of ... -
Message Driven Programming with S-Net: Methodology and Performance
Penczek, F.; Herhut, S.; Scholz, S.; Shafarenko, A.; Yang, J.S.; Chen, C.-Y.; Bagherzadeh, N.; Grelck, C. (Institute of Electrical and Electronics Engineers (IEEE), 2010)Development and implementation of the coordination language S-NET has been reported previously. In this paper we apply the S-NET design methodology to a computer graphics problem. We demonstrate (i) how a complete separation ... -
Numerical simulations of unsteady shock wave interactions using SAC and Fortran-90
Rolls, D.; Joslin, C.; Kudryavtsev, A.; Scholz, S.; Shafarenko, A. (2009)This paper briefly introduces SaC: a data-parallel language with an imperative feel but side-effect free and declarative. The experiences of porting a simulation of unsteady shock waves in the Euler system from Fortran to ... -
Parallel signal processing with S-Net
Penczek, F.; Herhut, S.; Grelck, C.; Scholz, S.; Shafarenko, A.; Barrere, R.; Lenormand, E. (2010)We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-processing functions asynchronously. We further ... -
Reduction of nonlinear intrachannel effects by channel asymmetry in transmission lines with strong bit overlapping
Shapiro, E.G.; Fedoruk, M.; Turitsyn, S.K.; Shafarenko, A. (2003-10) -
Segmenting hand written text using supervised classification techniques
Sun, Yi.; Butler, T.; Shafarenko, A.; Loomes, M.J.; Adams, R.G.; Davey, N. (Institute of Electrical and Electronics Engineers (IEEE), 2004)