Luigi Ciminiera

According to our database1, Luigi Ciminiera authored at least 57 papers between 1982 and 2015.

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



In proceedings 
PhD thesis 




Modeling Complex Packet Filters With Finite State Automata.
IEEE/ACM Trans. Netw., 2015

CLOSER: A Collaborative Locality-Aware Overlay SERvice.
IEEE Trans. Parallel Distributed Syst., 2012

Locating Equivalent Servants over P2P Networks.
IEEE Trans. Netw. Serv. Manag., 2011

An Adaptive Control System to Deliver Interactive Virtual Environment Content to Handheld Devices.
Mob. Networks Appl., 2011

Optimizing Deep Packet Inspection for High-Speed Traffic Analysis.
J. Netw. Syst. Manag., 2011

Robustness analysis of an unstructured overlay for media communication.
IET Commun., 2011

An open and scalable architecture for delivering 3D shared visualization services to heterogeneous devices.
Concurr. Comput. Pract. Exp., 2011

Modeling filtering predicates composition with Finite State Automata.
Proceedings of the 19th International Conference on Software, 2011

On Quality of Experience in Remote Visualization on Mobile Devices.
Int. J. Mob. Hum. Comput. Interact., 2010

Improving cost and accuracy of DPI traffic classifiers.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A Tunnel-Aware Language for Network Packet Filtering.
Proceedings of the Global Communications Conference, 2010

An Adaptive Control System for Interactive Virtual Environment Content Delivery to Handheld Devices.
Proceedings of the User Centric Media - First International Conference, 2009

Distributed connectivity service for a SIP infrastructure.
IEEE Netw., 2008

A Novel Approach to Support Quality of Experience in Remote Visualization on Mobile Devices.
Proceedings of the 29th Annual Conference of the European Association for Computer Graphics, 2008

A Digit-by-Digit Algorithm for mth Root Extraction.
IEEE Trans. Computers, 2007

A brokerage system for solar data archives.
Softw. Pract. Exp., 2007

A distributed JXTA-based architecture for searching and retrieving solar data.
Future Gener. Comput. Syst., 2005

Implementing innovative services supporting user and terminal mobility: the SCARAB architecture.
J. Syst. Softw., 2004

Management of Metadata for the Virtual Solar Observatory - Experiences from EGSO.
Proceedings of the MMGPS, 2003

SCARAB: Innovative Services Supporting User and Terminal Mobility.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

A Q-Coder Algorithm with Carry Free Addition.
Proceedings of the 13th Symposium on Computer Arithmetic (ARITH-13 '97), 1997

Carry-Save Multiplication Schemes without Final Addition.
IEEE Trans. Computers, 1996

A Remark on "Reducing Iteration Time when Result Digit is Zero for Radix-2 SRT Division and Square Root with Redundant Remainders".
IEEE Trans. Computers, 1995

Radix-8 division with over-redundant digit set.
J. VLSI Signal Process., 1994

A LOTOS extension for the performance analysis of distributed systems.
IEEE/ACM Trans. Netw., 1994

Over Redundant Digit Sets and the Design of Digit-by-Digit Division Units.
IEEE Trans. Computers, 1994

Computing CSG-tree boundaries as algebraic expressions.
Comput. Aided Des., 1994

Integrating Peforamnce Analysis in the Context of LOTOS-Based Design.
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Radix-2 Division with Quotient Digit Prediction without Prescaling.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Reducing Iteration Time When Result Digit is Zero for Radix 2 SRT Division and Square Root with Redundant Remainders.
IEEE Trans. Computers, 1993

Rapid Prototyping of Protocols from LOTOS Specifications.
Softw. Pract. Exp., 1993

n × n carry-save multipliers without final addition.
Proceedings of the 11th Symposium on Computer Arithmetic, 29 June, 1993

Design of a Radix 4 Division Unit with Simple Selection Table.
IEEE Trans. Computers, 1992

Throughput analysis of timed token protocols in double ring networks.
Proceedings of the 17th Conference on Local Computer Networks, 1992

Probabilistic Characterization of Algebraic Protocol Specifications.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

MAP and TOP communications - standards and applications.
Electronic systems engineering series, Addison-Wesley, ISBN: 978-0-201-41665-7, 1992

A Protocol for Multirendezvous of LOTOS Processes.
IEEE Trans. Computers, 1991

On the Equivalence of IEEE 802.4 and FDDI Timed Token Protocols.
Proceedings of the Proceedings IEEE INFOCOM '91, 1991

Simple radix 2 division and square root with skipping of some addition steps.
Proceedings of the 10th IEEE Symposium on Computer Arithmetic, 1991

Some Properties of Timed Token Medium Access Protocols.
IEEE Trans. Software Eng., 1990

Higher Radix Square Rooting.
IEEE Trans. Computers, 1990

An abstract execution model for basic LOTOS.
Softw. Eng. J., 1990

Modeling the execution of LOTOS specifications by cooperating extended finite state machines.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Authentication Mechanisms in Microprocessor-Based Local Area Networks.
IEEE Trans. Software Eng., 1989

Some Properties of Double-Ring Networks with Real-Time Constraints.
Proceedings of the Real-Time Systems Symposium, 1989

On the Behavior of Control Token Protocols with Asynchronous and Synchronous Traffic.
Proceedings of the Proceedings IEEE INFOCOM '89, 1989

On the efficient implementation of higher radix square root algorithms.
Proceedings of the 9th Symposium on Computer Arithmetic, 1989

A Practical Study of Semi-automatic OSI Protocol Implementation.
Softw. Pract. Exp., 1988

Performance Analysis of Acknowledgment Mechanisms in Token-Bus Networks.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Parallel multipliers based on horizontal compressors.
Proceedings of the 8th IEEE Symposium on Computer Arithmetic, 1987

Advanced microprocessor architectures.
Electronic systems engineering series, Addison-Wesley, ISBN: 978-0-201-14550-2, 1987

A Connecting Network with Fault Tolerance Capabilities.
IEEE Trans. Computers, 1986

Fault-tolerance and performance analysis of beta-networks.
Parallel Comput., 1986

Efficient serial-parallel arrays for multiplication and addition.
Proceedings of the 7th IEEE Symposium on Computer Arithmetic, 1985

iAPX 432 hardware fault-handling mechanisms.
Softw. Microsystems, 1984

Fast iterative multiplying array.
Proceedings of the 6th IEEE Symposium on Computer Arithmetic, 1983

A fault-tolerant connecting network for multiprocessing systems.
Proceedings of the International Conference on Parallel Processing, 1982