Alexander V. Shafarenko

According to our database1, Alexander V. Shafarenko authored at least 66 papers between 1992 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Indexing structures for the PLS blockchain.
Cybersecur., 2021

A PLS blockchain for IoT applications: protocols and architecture.
Cybersecur., 2021

2020
Non-local configuration of component interfaces by constraint satisfaction.
Constraints An Int. J., 2020

2016
The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collections and S-NET.
Parallel Process. Lett., 2016

Configuring Cloud-Service Interfaces Using Flow Inheritance.
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

A Constraint Satisfaction Method for Configuring Non-local Service Interfaces.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015
Constraint Satisfaction in Coordinating Components Interfaces.
CoRR, 2015

Mini-Symposium on Coordination Programming - Preface.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015

2014
A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013
Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming
CoRR, 2013

AstraKahn: A Coordination Language for Streaming Networks.
CoRR, 2013

S+Net: extending functional coordination with extra-functional semantics.
CoRR, 2013

Linear Support Vector Machines for Error Correction in Optical Data Transmission.
Proceedings of the Adaptive and Natural Computing Algorithms, 2013

2012
Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination.
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

2011
CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks
CoRR, 2011

Gearing Up: How to Eat Your Cryptocake and Still Have It.
Proceedings of the Security Protocols XIX, 2011

Gearing Up: How to Eat Your Cryptocake and Still Have It (Transcript of Discussion).
Proceedings of the Security Protocols XIX, 2011

Declarative coordination in a multicore environment: the tyranny of streams.
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

Engineering Concurrent Software Guided by Statistical Performance Analysis.
Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

2010
Weakly-Constrained Codes for Suppression of Patterning Effects in Digital Communications.
IEEE Trans. Commun., 2010

Parallel signal processing with S-Net.
Proceedings of the International Conference on Computational Science, 2010

Guest Editors' Editorial: Special Issue on the Second International Workshop on Microgrids.
Int. J. Parallel Program., 2010

Asynchronous Stream Processing with S-Net.
Int. J. Parallel Program., 2010

Relay-Proof Channels Using UWB Lasers (Transcript of Discussion).
Proceedings of the Security Protocols XVIII, 2010

Relay-Proof Channels Using UWB Lasers.
Proceedings of the Security Protocols XVIII, 2010

Message Driven Programming with S-Net: Methodology and Performance.
Proceedings of the 39th International Conference on Parallel Processing, 2010

Correcting Errors in Optical Data Transmission Using Neural Networks.
Proceedings of the Artificial Neural Networks, 2010

Cluster Computing as an Assembly Process: Coordination with S-Net.
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009
Numerical Simulations of Unsteady Shock Wave Interactions Using SaC and Fortran-90.
Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

Efficient weakly-constrained codes for mitigation of patterning effects in Digital Communications.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

Adaptive Electrical Signal Post-processing with Varying Representations in Optical Communication Systems.
Proceedings of the Engineering Applications of Neural Networks, 2009

2008
A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components.
Parallel Process. Lett., 2008

Nondeterministic Coordination using S-Net.
Proceedings of the High Speed and Large Scale Scientific Computing - Selected Papers from the High Performance Computing Workshop, Cetraro, Italy, June 30, 2008

Concurrency engineering.
Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008

2007
Information-Theory Analysis of Skewed Coding for Suppression of Pattern-Dependent Errors in Digital Communications.
IEEE Trans. Commun., 2007

Word segmentation of handwritten text using supervised classification techniques.
Appl. Soft Comput., 2007

Coordinating Data Parallel SAC Programs with S-Net.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006
Guest Editor's Introduction (Part 2).
Int. J. Parallel Program., 2006

Special issue on Micro-grids - Guest Editor Introduction.
Int. J. Parallel Program., 2006

Vintage Bit Cryptography.
Proceedings of the Security Protocols, 2006

Vintage Bit Cryptography.
Proceedings of the Security Protocols, 2006

Index Vector Elimination - Making Index Vectors Affordable.
Proceedings of the Implementation and Application of Functional Languages, 2006

Streaming Networks for Coordinating Data-Parallel Programs.
Proceedings of the Perspectives of Systems Informatics, 2006

Streaming Networks for Coordinating Data-Parallel Programs (Position Statement).
Proceedings of the Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, 2006

2005
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.
Proceedings of the Implementation and Application of Functional Languages, 2005

A Binding Scope Analysis for Generic Programs on Arrays.
Proceedings of the Implementation and Application of Functional Languages, 2005

2004
General Homomorphic Overloading.
Proceedings of the Implementation and Application of Functional Languages, 2004

Identifying word boundaries in handwrittem text.
Proceedings of the 2004 International Conference on Machine Learning and Applications, 2004

2003
Stream Processing on the Grid: an Array Stream Transforming Language.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

2002
Teaching mathematical explanation through audiographic technology.
Comput. Educ., 2002

Coercion as homomorphism: type inference in a system with subtyping and overloading.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

2001
An Active Organisation System for Customised, Secure Agent Discovery.
J. Supercomput., 2001

A symmetry-based formalism for array subtyping.
ACM SIGAPL APL Quote Quad, 2001

Access control for agent-based computing: a distributed approach.
Internet Res., 2001

An Adaptive, Reconfigurable Interconnect for Computational Clusters.
Proceedings of the First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), 2001

1999
A Massively Aliasing System for Support of Agent-based Internet Computing.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

An Integrated Addressing and Routing System for Mobile Agents.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997
Optical Interconnectivity in a Scalable Data-Parallel System.
J. Parallel Distributed Comput., 1997

Use of F-Code as a Very High Level Intermediate Language for DSP.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
Optical Interconnection hardware for scalable systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

A Nonannotative Approach to Distributed Data-Parallel Computing.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Data parallel computing - the language dimension.
Chapman and Hall, ISBN: 978-1-85032-179-8, 1996

1995
Symmetries in Data Parallelism.
Comput. J., 1995

1993
F-Code and its Implementation: A Portable Software Platform for Data Parallelism.
Comput. J., 1993

Data-Parallel Portable Software Platform: Principles and Implementation.
Proceedings of the PARLE '93, 1993

1992
F-Code: A Portable Software Platform for Data-Parallel Languages.
Proceedings of the Parallel Processing: CONPAR 92, 1992


  Loading...