Volume 55,
Number 1,
January 2006
Editor's Note
Papers
- Bin Wu, Ajay D. Kshemkalyani:
Objective-Optimal Algorithms for Long-Term Web Prefetching.
2-17
Electronic Edition (link) BibTeX
- Ronald D. Barnes, John W. Sias, Erik M. Nystrom, Sanjay J. Patel, Jose (Nacho) Navarro, Wen-mei W. Hwu:
Beating In-Order Stalls with "Flea-Flicker" Two-Pass Pipelining.
18-33
Electronic Edition (link) BibTeX
- Arash Reyhani-Masoleh:
Efficient Algorithms and Architectures for Field Multiplication Using Gaussian Normal Bases.
34-47
Electronic Edition (link) BibTeX
- Katja Schmidt-Samoa, Olivier Semay, Tsuyoshi Takagi:
Analysis of Fractional Window Recoding Methods and Their Application to Elliptic Curve Cryptosystems.
48-57
Electronic Edition (link) BibTeX
- Xuanwen Luo, Ming Dong, Yinlun Huang:
On Distributed Fault-Tolerant Detection in Wireless Sensor Networks.
58-70
Electronic Edition (link) BibTeX
- Zhenghao Zhang, Yuanyuan Yang:
Optimal Scheduling in Buffered WDM Interconnects with Limited Range Wavelength Conversion Capability.
71-82
Electronic Edition (link) BibTeX
Brief Contributions
Volume 55,
Number 2,
February 2006
Special Section on Design and Test of Systems-on-Chip (SoC)
- Jien-Chung Lo, Cecilia Metra, Fabrizio Lombardi:
Guest Editors' Introduction: Special Section on Design and Test of Systems-on-Chip (SoC).
97-98
Electronic Edition (link) BibTeX
- Andy D. Pimentel, Cagkan Erbas, Simon Polstra:
A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels.
99-112
Electronic Edition (link) BibTeX
- Teera Phatrapornnant, Michael J. Pont:
Reducing Jitter in Embedded Systems Employing a Time-Triggered Software Architecture and Dynamic Voltage Scaling.
113-124
Electronic Edition (link) BibTeX
- Moo-Kyoung Chung, Chong-Min Kyung:
Enhancing Performance of HW/SW Cosimulation and Coemulation by Reducing Communication Overhead.
125-136
Electronic Edition (link) BibTeX
- Dimitri Kagaris, Spyros Tragoudas, Sherin Kuriakose:
InTeRail: A Test Architecture for Core-Based SOCs.
137-149
Electronic Edition (link) BibTeX
- Xiaoding Chen, Michael S. Hsiao:
Testing Embedded Sequential Cores in Parallel Using Spectrum-Based BIST.
150-162
Electronic Edition (link) BibTeX
- Subhasish Mitra, Kee Sup Kim:
XPAND: An Efficient Test Stimulus Compression Technique.
163-173
Electronic Edition (link) BibTeX
- Andrew B. T. Hopkins, Klaus D. McDonald-Maier:
Debug Support Strategy for Systems-on-Chips with Multiple Processor Cores.
174-184
Electronic Edition (link) BibTeX
- Paolo Bernardi, Leticia Maria Veiras Bolzani, Maurizio Rebaudengo, Matteo Sonza Reorda, Fabian Vargas, Massimo Violante:
A New Hybrid Fault Detection Technique for Systems-on-a-Chip.
185-198
Electronic Edition (link) BibTeX
Regular Papers
Volume 55,
Number 3,
March 2006
Editorial
Regular Papers
- Wu Jigang, Thambipillai Srikanthan:
Reconfiguration Algorithms for Power Efficient VLSI Subarrays with Four-Port Switches.
243-253
Electronic Edition (link) BibTeX
- Julio Villalba, Tomás Lang, Mario A. González:
Double-Residue Modular Range Reduction for Floating-Point Hardware Implementations.
254-267
Electronic Edition (link) BibTeX
- Joshua J. Yi, David J. Lilja:
Simulation of Computer Architectures: Simulators, Benchmarks, Methodologies, and Recommendations.
268-280
Electronic Edition (link) BibTeX
- Juan L. Aragón, José M. González, Antonio González:
Control Speculation for Energy-Efficient Next-Generation Superscalar Processors.
281-291
Electronic Edition (link) BibTeX
- Stephen Paynter, Neil Henderson, James M. Armstrong:
Metastability in Asynchronous Wait-Free Protocols.
292-303
Electronic Edition (link) BibTeX
- Mehdi Amirijoo, Jörgen Hansson, Sang Hyuk Son:
Specification and Management of QoS in Real-Time Databases Supporting Imprecise Computations.
304-319
Electronic Edition (link) BibTeX
- Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, Qiang Ling:
Firm Real-Time System Scheduling Based on a Novel QoS Constraint.
320-333
Electronic Edition (link) BibTeX
- Jie Wu, Wei Lou, Fei Dai:
Extended Multipoint Relays to Determine Connected Dominating Sets in MANETs.
334-347
Electronic Edition (link) BibTeX
Brief Contributions
Volume 55,
Number 4,
April 2006
Regular Papers
- Jaeheon Jeong, Michel Dubois:
Cache Replacement Algorithms with Nonuniform Miss Costs.
353-365
Electronic Edition (link) BibTeX
- Alireza Hodjat, Ingrid Verbauwhede:
Area-Throughput Trade-Offs for Fully Pipelined 30 to 70 Gbits/s AES Processors.
366-372
Electronic Edition (link) BibTeX
- Hongbing Fan, Yu-Liang Wu, Ray Chak-Chung Cheung, Jiping Liu:
Decomposition Design Theory and Methodology for Arbitrary-Shaped Switch Boxes.
373-384
Electronic Edition (link) BibTeX
- Shlomi Dolev, Yinnon A. Haviv:
Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors.
385-399
Electronic Edition (link) BibTeX
- María Engracia Gómez, Nils Agne Nordbotten, Jose Flich, Pedro López, Antonio Robles, José Duato, Tor Skeie, Olav Lysne:
A Routing Methodology for Achieving Fault Tolerance in Direct Networks.
400-415
Electronic Edition (link) BibTeX
- Mehmet Hakan Karaata:
Self-Stabilizing Clustering of Tree Networks.
416-427
Electronic Edition (link) BibTeX
- Karthik Channakeshava, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Channel Establishment in Multihop Networks.
428-442
Electronic Edition (link) BibTeX
- Zili Shao, Chun Xue, Qingfeng Zhuge, Mei Kang Qiu, Bin Xiao, Edwin Hsing-Mean Sha:
Security Protection and Checking for Embedded System Integration against Buffer Overflow Attacks via Hardware/Software.
443-453
Electronic Edition (link) BibTeX
- Peng Li, Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints.
454-469
Electronic Edition (link) BibTeX
- Qiang Xu, Nicola Nicolici:
DFT Infrastructure for Broadside Two-Pattern Test of Core-Based SOCs.
470-485
Electronic Edition (link) BibTeX
Brief Contributions
Volume 55,
Number 5,
May 2006
Regular Papers
- Mahadevan Gomathisankaran, Akhilesh Tyagi:
Architecture Support for 3D Obfuscation.
497-507
Electronic Edition (link) BibTeX
- Carlo Brandolese, William Fornaciari, Luigi Pomante, Fabio Salice, Donatella Sciuto:
Affinity-Driven System Design Exploration for Heterogeneous Multiprocessor SoC.
508-519
Electronic Edition (link) BibTeX
- José Luis Imaña, Juan Manuel Sánchez, Francisco Tirado:
Bit-Parallel Finite Field Multipliers for Irreducible Trinomials.
520-533
Electronic Edition (link) BibTeX
- Gian-Carlo Cardarilli, Marco Ottavi, Salvatore Pontarelli, Marco Re, Adelio Salsano:
Fault Localization, Error Correction, and Graceful Degradation in Radix 2 Signed Digit-Based Adders.
534-540
Electronic Edition (link) BibTeX
- Peter Kornerup, Jean-Michel Muller:
Leading Guard Digits in Finite Precision Redundant Representations.
541-548
Electronic Edition (link) BibTeX
- Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov:
Efficient Symmetry Breaking for Boolean Satisfiability.
549-558
Electronic Edition (link) BibTeX
- Aamer Jaleel, Bruce L. Jacob:
In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs).
559-574
Electronic Edition (link) BibTeX
- Swapan Kumar Ray:
Large-Capacity High-Throughput Low-Cost Pipelined CAM Using Pipelined CTAM.
575-587
Electronic Edition (link) BibTeX
- Jorge García-Vidal, Maribel March, Llorenç Cerdà, Jesús Corbal, Mateo Valero:
A DRAM/SRAM Memory Scheme for Fast Packet Buffers.
588-602
Electronic Edition (link) BibTeX
- Meongchul Song, Sartaj Sahni:
Approximation Algorithms for Multiconstrained Quality-of-Service Routing.
603-617
Electronic Edition (link) BibTeX
- Robert M. Hierons, Hasan Ural:
Optimizing the Length of Checking Sequences.
618-629
Electronic Edition (link) BibTeX
Brief Contributions
Volume 55,
Number 6,
June 2006
Regular Papers
- Chris Gniady, Ali Raza Butt, Y. Charlie Hu, Yung-Hsiang Lu:
Program Counter-Based Prediction Techniques for Dynamic Power Management.
641-658
Electronic Edition (link) BibTeX
- Dong-U Lee, John D. Villasenor, Wayne Luk, Philip Heng Wai Leong:
A Hardware Gaussian Noise Generator Using the Box-Muller Method and Its Error Analysis.
659-671
Electronic Edition (link) BibTeX
- Rama Sangireddy:
Reducing Rename Logic Complexity for High-Speed and Low-Power Front-End Architectures.
672-685
Electronic Edition (link) BibTeX
- Sudip Misra, B. John Oommen:
An Efficient Dynamic Algorithm for Maintaining All-Pairs Shortest Paths in Stochastic Networks.
686-702
Electronic Edition (link) BibTeX
- Shanshan Song, Kai Hwang, Yu-Kwong Kwok:
Risk-Resilient Heuristics and Genetic Algorithms for Security-Assured Grid Job Scheduling.
703-719
Electronic Edition (link) BibTeX
- Chih-Hsu Yen, Bing-Fei Wu:
Simple Error Detection Methods for Hardware Implementation of Advanced Encryption Standard.
720-731
Electronic Edition (link) BibTeX
- Luca Sterpone, Massimo Violante:
A New Reliability-Oriented Place and Route Algorithm for SRAM-Based FPGAs.
732-744
Electronic Edition (link) BibTeX
- Jung-Chun Kao, Radu Marculescu:
On Optimization of E-Textile Systems Using Redundancy and Energy-Aware Routing.
745-756
Electronic Edition (link) BibTeX
- Grzegorz Malewicz, Arnold L. Rosenberg, Matthew Yurkewych:
Toward a Theory for Scheduling Dags in Internet-Based Computing.
757-768
Electronic Edition (link) BibTeX
- Ajay Joshi, Aashish Phansalkar, Lieven Eeckhout, Lizy Kurian John:
Measuring Benchmark Similarity Using Inherent Program Characteristics.
769-782
Electronic Edition (link) BibTeX
Comments
Volume 55,
Number 7,
July 2006
Regular Papers
- Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero:
Predictable Performance in SMT Processors: Synergy between the OS and SMTs.
785-799
Electronic Edition (link) BibTeX
- Nathaniel Pettis, Le Cai, Yung-Hsiang Lu:
Statistically Optimal Dynamic Power Management for Streaming Data.
800-814
Electronic Edition (link) BibTeX
- Ying Xiao, Krishnaiyan Thulasiraman, Guoliang Xue:
QoS Routing in Communication Networks: Approximation Algorithms Based on the Primal Simplex Method of Linear Programming.
815-829
Electronic Edition (link) BibTeX
- Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu:
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.
830-842
Electronic Edition (link) BibTeX
- Taisuke Izumi, Toshimitsu Masuzawa:
Condition Adaptation in Synchronous Consensus.
843-853
Electronic Edition (link) BibTeX
- Sun-Yuan Hsieh, Nai-Wen Chang:
Hamiltonian Path Embedding and Pancyclicity on the Möbius Cube with Faulty Nodes and Faulty Edges.
854-863
Electronic Edition (link) BibTeX
- Tao Xie, Xiao Qin:
Scheduling Security-Critical Real-Time Applications on Clusters.
864-879
Electronic Edition (link) BibTeX
- Hajime Inoue, Darko Stefanovic, Stephanie Forrest:
On the Prediction of Java Object Lifetimes.
880-892
Electronic Edition (link) BibTeX
- Samrat Ganguly, Mainak Chatterjee, Rauf Izmailov:
Non-Real-Time Content Scheduling Algorithms for Wireless Data Networks.
893-905
Electronic Edition (link) BibTeX
Brief Contributions
Volume 55,
Number 8,
August 2006
Papers
- Raffaele Mascella, Luca G. Tallini:
Efficient m-Ary Balanced Codes which Are Invariant under Symbol Permutation.
929-946
Electronic Edition (link) BibTeX
- Kai Zheng, Hao Che, Zhijun Wang, Bin Liu, Xin Zhang:
DPPC-RE: TCAM-Based Distributed Parallel Packet Classification with Range Encoding.
947-961
Electronic Edition (link) BibTeX
- Lambert Schaelicke, Alan L. Davis:
Design Trade-Offs for User-Level I/O Architectures.
962-973
Electronic Edition (link) BibTeX
- Ricardo Dahab, Darrel Hankerson, Fei Hu, Men Long, Julio López, Alfred Menezes:
Software Multiplication Using Gaussian Normal Bases.
974-984
Electronic Edition (link) BibTeX
- Joseph Y.-T. Leung, Hairong Zhao:
Minimizing Sum of Completion Times and Makespan in Master-Slave Systems.
985-999
Electronic Edition (link) BibTeX
- Pradeep Kumar Mishra:
Pipelined Computation of Scalar Multiplication in Elliptic Curve Cryptosystems (Extended Version).
1000-1010
Electronic Edition (link) BibTeX
- Narender Hanchate, Nagarajan Ranganathan:
Simultaneous Interconnect Delay and Crosstalk Noise Optimization through Gate Sizing Using Game Theory.
1011-1023
Electronic Edition (link) BibTeX
- Moon-Hee Choi, Woo-Chan Park, Francis Neelamkavil, Tack-Don Han, Shin-Dug Kim:
An Effective Visibility Culling Method Based on Cache Block.
1024-1032
Electronic Edition (link) BibTeX
- Pratik K. Biswas, Shashi Phoha:
Self-Organizing Sensor Networks for Integrated Target Surveillance.
1033-1047
Electronic Edition (link) BibTeX
- Joongseok Park, Sartaj Sahni:
An Online Heuristic for Maximum Lifetime Routing in Wireless Sensor Networks.
1048-1056
Electronic Edition (link) BibTeX
Brief Contributions
Comments
Volume 55,
Number 9,
September 2006
Special Section on Fault Diagnosis and Tolerance in Cryptography
Papers
- Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar:
Frame-Based Proportional Round-Robin.
1121-1129
Electronic Edition (link) BibTeX
- Jianping Wang, Mei Yang, Bin Yang, S. Q. Zheng:
Dual-Homing Based Scalable Partia Multicast Protection.
1130-1141
Electronic Edition (link) BibTeX
- Seong-Won Lee, Jean-Luc Gaudiot:
Throttling-Based Resource Management in High Performance Multithreaded Architectures.
1142-1152
Electronic Edition (link) BibTeX
- Oguz Ergin, Deniz Balkan, Dmitry Ponomarev, Kanad Ghose:
Early Register Deallocation Mechanisms Using Checkpointed Register Files.
1153-1166
Electronic Edition (link) BibTeX
- Jean-Claude Bajard, Laurent Imbert, Christophe Nègre:
Arithmetic Operations in Finite Fields of Medium Prime Characteristic Using the Lagrange Representation.
1167-1177
Electronic Edition (link) BibTeX
- Yibei Ling, Shigang Chen, Cho-Yu Jason Chiang:
On Optimal Deadlock Detection Scheduling.
1178-1187
Electronic Edition (link) BibTeX
- Maciej J. Ciesielski, Priyank Kalla, Serkan Askar:
Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs.
1188-1201
Electronic Edition (link) BibTeX
Brief Contributions
Volume 55,
Number 10,
October 2006
Papers
- Jovan Dj. Golic:
New Methods for Digital Generation and Postprocessing of Random Data.
1217-1229
Electronic Edition (link) BibTeX
- Nikhil Joshi, Jayachandran Sundararajan, Kaijie Wu, Bo Yang, Ramesh Karri:
Tamper Proofing by Design Using Generalized Involution-Based Concurrent Error Detection for Involutional Substitution Permutation and Feistel Networks.
1230-1239
Electronic Edition (link) BibTeX
- Sridhar Rajagopal, Joseph R. Cavallaro:
Truncated Online Arithmetic with Applications to Communication Systems.
1240-12529
Electronic Edition (link) BibTeX
- Jung-Yup Kang, Jean-Luc Gaudiot:
A Simple High-Speed Multiplier Design.
1253-1258
Electronic Edition (link) BibTeX
- Keith B. Frikken, Mikhail J. Atallah, Jiangtao Li:
Attribute-Based Access Control with Hidden Policies and Hidden Credentials.
1259-1270
Electronic Edition (link) BibTeX
- Hilmi Ozdoganoglu, T. N. Vijaykumar, Carla E. Brodley, Benjamin A. Kuperman, Ankit Jalote:
SmashGuard: A Hardware Solution to Prevent Security Attacks on the Function Return Address.
1271-1285
Electronic Edition (link) BibTeX
- Hong Luo, Jun Luo, Yonghe Liu, Sajal K. Das:
Adaptive Data Fusion for Energy Efficient Routing in Wireless Sensor Networks.
1286-1299
Electronic Edition (link) BibTeX
Brief Contributions
Volume 55,
Number 11,
November 2006
Special Section on Simulation-Based Design Validation
- Ian G. Harris:
Guest Editor's Introduction to the Special Section on Simulation-Based Design Validation.
1313-1314
Electronic Edition (link) BibTeX
- Domagoj Babic, Jesse D. Bingham, Alan J. Hu:
B-Cubing: New Possibilities for Efficient SAT-Solving.
1315-1324
Electronic Edition (link) BibTeX
- Qingwei Wu, Michael S. Hsiao:
A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal.
1325-1334
Electronic Edition (link) BibTeX
- Charles H.-P. Wen, Li-C. Wang, Kwang-Ting Cheng:
Simulation-Based Functional Test Generation for Embedded Processors.
1335-1343
Electronic Edition (link) BibTeX
- Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv:
Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.
1344-1355
Electronic Edition (link) BibTeX
- Chia-Chih Yen, Jing-Yang Jou:
An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging.
1356-1366
Electronic Edition (link) BibTeX
- Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar:
Advanced Analysis Techniques for Cross-Product Coverage.
1367-1379
Electronic Edition (link) BibTeX
- Patrick Schaumont, David Hwang, Shenglin Yang, Ingrid Verbauwhede:
Multilevel Design Validation in a Secure Embedded System.
1380-1390
Electronic Edition (link) BibTeX
- Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla:
Validating Families of Latency Insensitive Protocols.
1391-1401
Electronic Edition (link) BibTeX
Papers
- Raphael C.-W. Phan, Mohammad Umar Siddiqi:
A Framework for Describing Block Cipher Cryptanalysis.
1402-1409
Electronic Edition (link) BibTeX
- Zeng Zeng, Bharadwaj Veeravalli:
Design and Performance Evaluation of Queue-and-Rate-Adjustment Dynamic Load Balancing Policies for Distributed Networks.
1410-1422
Electronic Edition (link) BibTeX
- Petros Oikonomakos, Mark Zwolinski:
On the Design of Self-Checking Controllers with Datapath Interactions.
1423-1434
Electronic Edition (link) BibTeX
- Shiann-Tsong Sheu, Yue-Ru Chuang:
A Pipeline-Based Genetic Algorithm Accelerator for Time-Critical Processes in Real-Time Systems.
1435-1448
Electronic Edition (link) BibTeX
- George Xenoulis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis:
Testability Analysis and Scalable Test Generation for High-Speed Floating-Point Units.
1449-1457
Electronic Edition (link) BibTeX
- Jaideep Sarkar, Shamik Sengupta, Mainak Chatterjee, Samrat Ganguly:
Differential FEC and ARQ for Radio Link Protocols.
1458-1472
Electronic Edition (link) BibTeX
- Dusit Niyato, Ekram Hossain:
A Queuing-Theoretic and Optimization-Based Model for Radio Resource Management in IEEE 802.16 Broadband Wireless Networks.
1473-1488
Electronic Edition (link) BibTeX
Volume 55,
Number 12,
December 2006
Papers
- Viktor K. Prasanna:
Introducting the New Editor-in-Chief of the IEEE Transactions on Computers.
1489-1490
Electronic Edition (link) BibTeX
- Onur Mutlu, Hyesoon Kim, Yale N. Patt:
Address-Value Delta (AVD) Prediction: A Hardware Technique for Efficiently Parallelizing Dependent Cache Misses.
1491-1508
Electronic Edition (link) BibTeX
- Claudio Scordino, Giuseppe Lipari:
A Resource Reservation Algorithm for Power-Aware Scheduling of Periodic and Aperiodic Real-Time Tasks.
1509-1522
Electronic Edition (link) BibTeX
- Venkataraman Mahalingam, Nagarajan Ranganathan:
Improving Accuracy in Mitchell's Logarithmic Multiplication Using Operand Decomposition.
1523-1535
Electronic Edition (link) BibTeX
- Jung Hee Cheon, Dong Hoon Lee:
Use of Sparse and/or Complex Exponents in Batch Verification of Exponentiations.
1536-1542
Electronic Edition (link) BibTeX
- Jianbin Wei, Cheng-Zhong Xu:
eQoS: Provisioning of Client-Perceived End-to-End QoS Guarantees in Web Servers.
1543-1556
Electronic Edition (link) BibTeX
- Alessandro Mei, Romeo Rizzi:
Online Permutation Routing in Partitioned Optical Passive Star Networks.
1557-1571
Electronic Edition (link) BibTeX
- Eitan Frachtenberg, Fabrizio Petrini, Juan Fernández, Scott Pakin:
STORM: Scalable Resource Management for Large-Scale Parallel Computers.
1572-1587
Electronic Edition (link) BibTeX
- Ravindra Jejurikar, Rajesh Gupta:
Optimized Slowdown in Real-Time Task Systems.
1588-1598
Electronic Edition (link) BibTeX
- Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih, Lui Sha:
Schedulability Envelope for Real-Time Radar Dwell Scheduling.
1599-1613
Electronic Edition (link) BibTeX
- Yeim-Kuan Chang:
A 2-Level TCAM Architecture for Ranges.
1614-1629
Electronic Edition (link) BibTeX
- Said Hamdioui, Zaid Al-Ars, A. J. van de Goor:
Opens and Delay Faults in CMOS RAM Address Decoders.
1630-1639
Electronic Edition (link) BibTeX
Brief Contributions
Copyright © Sun May 17 00:23:06 2009
by Michael Ley (ley@uni-trier.de)
