Volume 56,
Number 1,
January 2007
Papers
- Tao Li, Lizy Kurian John, Anand Sivasubramaniam, Narayanan Vijaykrishnan, Juan Rubio:
OS-Aware Branch Prediction: Improving Microprocessor Control Flow Prediction for Operating Systems.
2-17
- Xiaotong Zhuang, Hsien-Hsin S. Lee:
Reducing Cache Pollution via Dynamic Data Prefetch Filtering.
18-31
- Kun Suk Kim, Sartaj Sahni:
Efficient Construction of Pipelined Multibit-Trie Router-Tables.
32-43
- Jaewook Chung, M. Anwar Hasan:
Low-Weight Polynomial Form Integers for Efficient Modular Multiplication.
44-57
- Mohammad J. Akhbarizadeh, Mehrdad Nourani, Rina Panigrahy, Samar Sharma:
A TCAM-Based Parallel Architecture for High-Speed Packet Forwarding.
58-72
- Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang:
(t, k) - Diagnosis for Matching Composition Networks under the MM* Model.
73-79
- Jiannong Cao, Guojun Wang, Keith C. C. Chan:
A Fault-Tolerant Group Communication Protocol in Large Scale and Highly Dynamic Mobile Next-Generation Networks.
80-94
- Song Jiang, Kei Davis, Xiaodong Zhang:
Coordinated Multilevel Buffer Cache Management with Consistent Access Locality Quantification.
95-108
- Berk Sunar, William J. Martin, Douglas R. Stinson:
A Provably Secure True Random Number Generator with Built-In Tolerance to Active Attacks.
109-119
- Anuja Sehgal, Krishnendu Chakrabarty:
Optimization of Dual-Speed TAM Architectures for Efficient Modular Testing of SOCs.
120-133
Brief Contribution
Volume 56,
Number 2,
February 2007
Special Section on Nano Systems and Computing
- André DeHon, Craig S. Lent, Fabrizio Lombardi:
Introduction to the Special Section on Nano Systems and Computing.
145-146
- Ravi K. Venkatesan, Ahmed S. Al-Zawawi, Krishnan Sivasubramanian, Eric Rotenberg:
ZettaRAM: A Power-Scalable DRAM Alternative through Charge-Voltage Decoupling.
147-160
- Love Kothari, Nicholas P. Carter:
Architecture of a Self-Checkpointing Microprocessor that Incorporates Nanomagnetic Devices.
161-173
- Saket Srivastava, Sanjukta Bhanja:
Hierarchical Probabilistic Macromodeling for QCA Circuits.
174-190
- Omar Paranaiba Vilela Neto, Marco Aurélio Cavalcanti Pacheco, Carlos R. Hall Barbosa:
Neural Network Simulation and Evolutionary Synthesis of QCA Circuits.
191-201
- Zeljko Zilic, Katarzyna Radecka:
Scaling and Better Approximating Quantum Fourier Transform by Higher Radices.
202-207
Regular Papers
- Joseph J. Sharkey, Dmitry V. Ponomarev:
Exploiting Operand Availability for Efficient Simultaneous Multithreading.
208-223
- Haining Fan, M. Anwar Hasan:
A New Approach to Subquadratic Space Complexity Parallel Multipliers for Extended Binary Fields.
224-233
- Wu-Chuan Yang, Dah-Jyh Guan, Chi-Sung Laih:
Fast Multicomputation with Asynchronous Strategy.
234-242
- Han Liang, Piyush Mishra, Kaijie Wu:
Error Correction On-Demand: A Low Power Register Transfer Level Concurrent Error Correction Technique.
243-252
- Giorgio C. Buttazzo, Manel Velasco, Pau Martí:
Quality-of-Control Management in Overloaded Real-Time Systems.
253-266
- Juan Piernas, Toni Cortes, José M. García:
The Design of New Journaling File Systems: The DualFS Case.
267-281
- Gang Chen, Guoqiang Bai, Hongyi Chen:
A New Systolic Architecture for Modular Division.
282-286
Volume 56,
Number 3,
March 2007
- Jason D. Bakos, Donald M. Chiarulli, Steven P. Levitan:
Lightweight Error Correction Coding for System-Level Interconnects.
289-304
- Majid Khabbazian, T. Aaron Gulliver, Vijay K. Bhargava:
Double Point Compression with Applications to Speeding Up Random Point Multiplication.
305-313
- Kirk W. Cameron, Rong Ge, Xian-He Sun:
lognP and log3P: Accurate Analytical Models of Point-to-Point Communication in Distributed Systems.
314-327
- Yutao Zhong, Steven G. Dropsho, Xipeng Shen, Ahren Studer, Chen Ding:
Miss Rate Prediction Across Program Inputs and Cache Configurations.
328-343
- Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto:
Adaptive Resource Allocation Control for Fair QoS Management.
344-357
- Xiliang Zhong, Cheng-Zhong Xu:
Energy-Aware Modeling and Scheduling for Dynamic Voltage Scaling with Statistical Real-Time Guarantee.
358-372
- Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Space-Optimal, Wait-Free Real-Time Synchronization.
373-384
- Umut Balli, Haisang Wu, Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen:
Utility Accrual Real-Time Scheduling under Variable Cost Functions.
385-401
- James Chien-Mo Li, Hung-Mao Lin, Fang-Min Wang:
Column Parity Row Selection (CPRS) BIST Diagnosis Technique: Modeling and Analysis.
402-414
- Cecilia Metra, Daniele Rossi, T. M. Mak:
Won't On-Chip Clock Calibration Guarantee Performance Boost and Product Quality?.
415-428
- K. Wendy Tang, Ridha Kamoua:
An Upper Bound for the Bisection Width of a Diagonal Mesh.
429-431
Volume 56,
Number 4,
April 2007
- Madhusudhanan Anantha, Bella Bose, Luca G. Tallini:
ARQ Protocols and Unidirectional Codes.
433-443
- Tibor Horvath, Tarek F. Abdelzaher, Kevin Skadron, Xue Liu:
Dynamic Voltage Scaling in Multitier Web Servers with End-to-End Delay Control.
444-458
- Sang Seok Lim, Kyu Ho Park:
TPF: TCP Plugged File System for Efficient Data Delivery over TCP.
459-473
- Frank Zhigang Wang, Sining Wu, Na Helian, Michael Andrew Parker, Yike Guo, Yuhui Deng, Vineet R. Khare:
Grid-Oriented Storage: A Single-Image, Cross-Domain, High-Bandwidth Architecture.
474-487
- Min Lee, Euiseong Seo, Joonwon Lee, Jinsoo Kim:
PABC: Power-Aware Buffer Cache Management for Low Power Consumption.
488-501
- Rami G. Melhem:
Low Diameter Interconnections for Routing in High-Performance Parallel Systems.
502-510
- Alper Sen, Vijay K. Garg:
Formal Verification of Simulation Traces Using Computation Slicing.
511-527
- Andrea Fedeli, Franco Fummi, Graziano Pravadelli:
Properties Incompleteness Evaluation by Functional Verification.
528-544
- Xiaoyu Ruan, Rajendra S. Katti:
Data-Independent Pattern Run-Length Compression for Testing Embedded Cores in SoCs.
545-556
- Dong Xiang, Kaiwei Li, Jiaguang Sun, Hideo Fujiwara:
Reconfigured Scan Forest for Test Application Cost, Test Data Volume, and Test Power Reduction.
557-562
- Hachiro Fujita, Kohichi Sakaniwa:
Modified Low-Density MDS Array Codes for Tolerating Double Disk Failures in Disk Arrays.
563-566
- Dong-U Lee, John D. Villasenor:
A Bit-Width Optimization Methodology for Polynomial-Based Function Evaluation.
567-571
- Riyaz A. Patel, Mohammed Benaissa, Said Boussakta:
Fast Modulo 2n - (2n-2+1) Addition: A New Class of Adder for RNS.
572-576
Volume 56,
Number 5,
May 2007
- Upavan Gupta, Nagarajan Ranganathan:
Multievent Crisis Management Using Noncooperative Multistep Games.
577-589
- Wee Hock Desmond Ng, Michael P. Howarth, Zhili Sun, Haitham S. Cruickshank:
Dynamic Balanced Key Tree Management for Secure Multicast Communications.
590-605
- Francesco Poletti, Antonio Poggiali, Davide Bertozzi, Luca Benini, Pol Marchal, Mirko Loghi, Massimo Poncino:
Energy-Efficient Multiprocessor Systems-on-Chip for Embedded Computing: Exploring Programming Models and Their Architectural Support.
606-621
- Shorin Kyo, Shin'ichiro Okazaki, Tamio Arai:
An Integrated Memory Array Processor for Embedded Image Recognition Systems.
622-634
- Luca Breveglieri, Israel Koren, Paolo Maistri:
An Operation-Centered Approach to Fault Detection in Symmetric Cryptography Ciphers.
635-649
- Zhaoliang Pan, Melvin A. Breuer:
Estimating Error Rate in Defective Logic Using Signature Analysis.
650-661
- Katherine Compton, Scott Hauck:
Automatic Design of Area-Efficient Configurable ASIC Cores.
662-672
- Ali Ahmadinia:
Optimal Free-Space Management and Routing-Conscious Dynamic Placement for Reconfigurable Devices.
673-680
- Yuan-Shun Dai, Yi Pan, Xukai Zou:
A Hierarchical Modeling and Analysis for Grid Service Reliability.
681-691
- Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin:
Model Checking Safety-Critical Systems Using Safecharts.
692-705
- Sándor Imre:
Quantum Existence Testing and Its Application for Finding Extreme Values in Unsorted Databases.
706-710
- Wei-Chieh Ke, Bing-Hong Liu, Ming-Jer Tsai:
Constructing a Wireless Sensor Network to Fully Cover Critical Grids by Deploying Minimum Sensors on Grid Points Is NP-Complete.
710-715
- Haining Fan, M. Anwar Hasan:
Comments on "Five, Six, and Seven-Term Karatsuba-Like Formulae'.
716-717
- Richard West, Yuting Zhang:
Comments on "Dynamic Window-Constrained Scheduling of Real-Time Streams in Media Servers'.
718-719
Volume 56,
Number 6,
June 2007
- Fabrizio Lombardi:
Editor's Note.
721-726
- Tomás Lang, Alberto Nannarelli:
A Radix-10 Digit-Recurrence Division Unit: Algorithm and Architecture.
727-739
- Li Zhao, Laxmi N. Bhuyan, Ravi R. Iyer, Srihari Makineni, Donald Newell:
Hardware Support for Accelerating Data Movement in Server Platform.
740-753
- KwangJin Park, Hyunseung Choo:
Energy-Efficient Data Dissemination Schemes for Nearest Neighbor Query Processing.
754-768
- Yeim-Kuan Chang, Yung-Chieh Lin:
Dynamic Segment Trees for Ranges and Prefixes.
769-784
- Sobeeh Almukhaizim, Yiorgos Makris:
Concurrent Error Detection Methods for Asynchronous Burst-Mode Machines.
785-798
- Alexander Thomasian, Gang Fu, Chunqi Han:
Performance of Two-Disk Failure-Tolerant Disk Arrays.
799-814
- Young Choon Lee, Albert Y. Zomaya:
Practical Scheduling of Bag-of-Tasks Applications on Grids with Dynamic Resilience.
815-825
- Tsutomu Sasao, Shinobu Nagayama, Jon T. Butler:
Numerical Function Generators Using LUT Cascades.
826-838
- Diego R. Llanos Ferraris, David Orden, Belén Palop:
New Scheduling Strategies for Randomized Incremental Algorithms in the Context of Speculative Parallelization.
839-852
- Luca Allulli, Roberto Baldoni, Luigi Laura, Sara Tucci Piergiovanni:
On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern.
853-858
- Guoliang Xue, S. Kami Makki:
Multiconstrained QoS Routing: A Norm Approach.
859-863
Volume 56,
Number 7,
July 2007
- Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Asynchronous Agreement and Its Relation with Error-Correcting Codes.
865-875
- Bella Bose, Samir Elmougy, Luca G. Tallini:
Systematic t-Unidirectional Error-Detecting Codes over Zm.
876-880
- Mehmet Hakan Karaata, Mohamed G. Gouda:
A Stabilizing Deactivation/Reactivation Protocol.
881-888
- Ali Raza Butt, Chris Gniady, Y. Charlie Hu:
The Performance Impact of Kernel Prefetching on Buffer Cache Replacement Algorithms.
889-908
- Ashkan Hosseinzadeh Namin, Huapeng Wu, Majid Ahmadi:
Comb Architectures for Finite Field Multiplication in F(2^m).
909-916
- Antonio Caruso, Stefano Chessa, Piero Maestrini:
Worst-Case Diagnosis Completeness in Regular Graphs under the PMC Model.
917-9249
- Yuan-Shun Dai, Gregory Levitin, Kishor S. Trivedi:
Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation.
925-936
- Richard C. Murphy, Peter M. Kogge:
On the Memory Access Patterns of Supercomputer Applications: Benchmark Selection and Its Implications.
937-945
- Ming Ma, Yuanyuan Yang:
Adaptive Triangular Deployment Algorithm for Unattended Mobile Sensor Networks.
- B. John Oommen, Sudip Misra, Ole-Christoffer Granmo:
Routing Bandwidth-Guaranteed Paths in MPLS Traffic Engineering: A Multiple Race Track Learning Approach.
959-976
- Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana:
Monitoring of Timing Constraints with Confidence Threshold Requirements.
977-991
- Peter J. Leadbitter, Dan Page, Nigel P. Smart:
Nondeterministic Multithreading.
992-998
- Jingxi Jia, Bharadwaj Veeravalli, Debasish Ghose:
Adaptive Load Distribution Strategies for Divisible Load Processing on Resource Unaware Multilevel Tree Networks.
999-1005
- Yu-Chen Kuo, Teng-Yi Chiu:
Comments on "On the Nondomination of Cohorts Coteries".
1006-1007
Volume 56,
Number 8,
August 2007
- Jung-Chun Kao, Radu Marculescu:
Minimizing Eavesdropping Risk by Transmission Power Control in Multihop Wireless Networks.
1009-1023
- Francisco José Alfaro, José L. Sánchez, M. Menduiña, José Duato:
A Formal Model to Manage the InfiniBand Arbitration Tables Providing QoS.
1024-1039
- Sung Hoon Baek, Kyu Ho Park:
Matrix-Stripe-Cache-Based Contiguity Transform for Fragmented Writes in RAID-5.
1040-1054
- Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal:
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks.
1055-1070
- Fariza Sabrina, Salil S. Kanhere, Sanjay Jha:
Design, Analysis and Implementation of a Novel Multiple Resource Scheduler.
1071-1086
- Preetam Ghosh, Kalyan Basu, Sajal K. Das:
A Novel Photonic Container Switched Architecture and Scheduler to Design the Core Transport Network.
1087-1104
- Cheng-Yeh Wang, Chih-Bin Kuo, Jing-Yang Jou:
Hybrid Wordlength Optimization Methods of Pipelined FFT Processors.
1105-1118
- Abusaleh M. Jabir, Dhiraj K. Pradhan:
A Graph-Based Unified Technique for Computing and Representing Coefficients over Finite Fields.
1119-1132
- Abusaleh M. Jabir, Dhiraj K. Pradhan, T. L. Rajaprabhu, A. K. Singh:
A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation.
1133-1145
- Xrysovalantis Kavousianos, Emmanouil Kalligeros, Dimitris Nikolos:
Optimal Selective Huffman Coding for Test-Data Compression.
1146-1152
Volume 56,
Number 9,
September 2007
- Rodrigo Capobianco Guido, Li Deng, Shoji Makino:
Guest Editors' Introduction: Special Section on Emergent Systems, Algorithms and Architectures for Speech-Based Human-Machine Interaction.
1153-1155
- Julian Odell, Kunal Mukerjee:
Architecture, User Interface, and Enabling Technology in Windows Vista's Speech Systems.
1156-1168
- Maycel Isaac Faraj, Josef Bigün:
Synergy of Lip-Motion and Acoustic Features in Biometric Speech and Speaker Recognition.
1169-1175
- Roger K. Moore:
PRESENCE: A Human-Inspired Architecture for Speech-Based Human-Machine Interaction.
1176-1188
- Shi-Xiong Zhang, Man-Wai Mak, Helen Meng:
Speaker Verification via High-Level Feature Based Phonetic-Class Pronunciation Modeling.
1189-1198
- Sakriani Sakti, Konstantin Markov, Satoshi Nakamura:
Incorporating Knowledge Sources Into a Statistical Acoustic Model for Spoken Language Communication Systems.
1199-1211
- José M. Pardo, Xavier Anguera, Chuck Wooters:
Speaker Diarization For Multiple-Distant-Microphone Meetings Using Several Sources of Information.
1212-1224
- Chien-Lin Huang, Chung-Hsien Wu:
Generation of Phonetic Units for Mixed-Language Speech Recognition Based on Acoustic and Contextual Analysis.
1225-1233
- Po-Chuan Lin, Jia-Ching Wang, Jhing-Fa Wang, Hao-Ching Sung:
Unsupervised Speaker Change Detection Using SVM Training Misclassification Rate.
1234-1244
- Chi-Chun Hsia, Chung-Hsien Wu, Jian-Qi Wu:
Conversion Function Clustering and Selection Using Linguistic and Spectral Information for Emotional Voice Conversion.
1245-1254
- Martin Omaña, Daniele Rossi, Cecilia Metra:
Latch Susceptibility to Transient Faults and New Hardening Approach.
1255-1268
- Kazuo Sakiyama, Lejla Batina, Bart Preneel, Ingrid Verbauwhede:
Multicore Curve-Based Cryptoprocessor with Reconfigurable Modular Arithmetic Logic Units over GF(2n).
1269-1282
- Mathieu Cluzeau:
Reconstruction of a Linear Scrambler.
1283-1291
- Yossef Oren, Adi Shamir:
Remote Password Extraction from RFID Tags.
1292-1296
Volume 56,
Number 10,
October 2007
- Madhusudhanan Anantha, Bella Bose, Bader F. AlBdaiwi:
Mixed-Radix Gray Codes in Lee Metric.
1297-1307
- Jean-Pierre David, Kassem Kalach, Nicolas Tittley:
Hardware Complexity of Modular Multiplication and Exponentiation.
1308-1319
- Luigi Dadda:
Multioperand Parallel Decimal Adder: A Mixed Binary and BCD Approach.
1320-1328
- Sourav Pal, Sumantra R. Kundu, Mainak Chatterjee, Sajal K. Das:
Combinatorial Reverse Auction based Scheduling in Multi-Rate Wireless Systems.
1329-1341
- Oliverio J. Santana, Alex Ramírez, Mateo Valero:
Enlarging Instruction Streams.
1342-1357
- Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds.
1358-1371
- Hakan Aydin:
Exact Fault-Sensitive Feasibility Analysis of Real-Time Tasks.
1372-1386
- Wu Jigang, Thambipillai Srikanthan, Xiaodong Wang:
Integrated Row and Column Rerouting for Reconfiguration of VLSI Arrays with Four-Port Switches.
1387-1400
- Shobha Vasudevan, Vinod Viswanath, Robert W. Sumners, Jacob A. Abraham:
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems.
1401-1414
- Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov:
Solution and Optimization of Systems of Pseudo-Boolean Constraints.
1415-1424
- Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann:
Can-Follow Concurrency Control.
1425-1430
- Régis Leveugle:
Early Analysis of Fault-based Attack Effects in Secure Circuits.
1431-1434
- Haining Fan, M. Anwar Hasan:
Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases.
1435-1437
Volume 56,
Number 11,
November 2007
- Nevine AbouGhazaleh, Bruce R. Childers, Daniel Mossé, Rami G. Melhem:
Near-Memory Caching for Improved Energy Consumption.
1441-1455
- Ray K. Lam, Dah-Ming Chiu, John C. S. Lui:
On the Access Pricing and Network Scaling Issues of Wireless Mesh Networks.
1456-1469
- Nicola Petra, Davide De Caro, Antonio G. M. Strollo:
A Novel Architecture for Galois Fields GF(2^m) Multipliers Based on Mastrovito Scheme.
1470-1483
- Riyaz A. Patel, Mohammed Benaissa, Said Boussakta:
Fast Parallel-Prefix Architectures for Modulo 2n-1 Addition with a Single Representation of Zero.
1484-1492
- Sid Ahmed Ali Touati:
On the Periodic Register Need in Software Pipelining.
1493-1504
- Sebastian Fischmeister, Oleg Sokolsky, Insup Lee:
A Verifiable Language for Programming Real-Time Communication Schedules.
1505-1519
- Ajay Joshi, Yue Luo, Lizy K. John:
Applying Statistical Sampling for Fast and Efficient Simulation of Commercial Workloads.
1520-1533
- Chung-Ho Chen, Kuo-Su Hsiao:
Scalable Dynamic Instruction Scheduler through Wake-Up Spatial Locality.
1534-1548
- Joshua J. Yi, Resit Sendag, David J. Lilja, Douglas M. Hawkins:
Speed versus Accuracy Trade-Offs in Microarchitectural Simulations.
1549-1563
- Ge Nong, Sen Zhang:
Efficient Algorithms for the Inverse Sort Transform.
1564-1574
- Pi-Rong Sheu, Shan-Tai Chen:
On the Hardness of Approximating the Multicast Delay Variation Problem.
1575-1577
- Ajay D. Kshemkalyani:
Temporal Predicate Detection Using Synchronized Clocks.
1578-1584
Volume 56,
Number 12,
December 2007
- Emmanuel Touloupis, James A. Flint, Vassilios A. Chouliaras, David D. Ward:
Study of the Effects of SEU-Induced Faults on a Pipeline Protected Microprocessor.
1585-1596
- Hui Chen, Yang Xiao:
On-Bound Selection Cache Replacement Policy for Wireless Data Access.
1597-1611
- Xiaofan Yang, Yuan Yan Tang:
Efficient Fault Identification of Diagnosable Systems under the Comparison Model.
1612-1618
- Dong Xiang, Mingjing Chen, Hideo Fujiwara:
Using Weighted Scan Enable Signals to Improve Test Effectiveness of Scan-Based BIST.
1619-1628
- Prasad Calyam, Chang-Gun Lee, Eylem Ekici, Mark Haffner, Nathan Howes:
Orchestration of Network-Wide Active Measurements for Supporting Distributed Computing Applications.
1629-1642
- Rodney Van Meter, Kae Nemoto, W. J. Munro:
Communication Links for Distributed Quantum Computation.
1643-1653
- Guangyan Zhang, Jiwu Shu, Wei Xue, Weimin Zheng:
Design and Implementation of an Out-of-Band Virtualization System for Large SANs.
1654-1665
- Rodolfo Pellizzoni, Marco Caccamo:
Real-Time Management of Hardware and Software Tasks for FPGA-based Embedded Systems.
1666-1680
- Xiaochun Xu, Sartaj Sahni:
Approximation Algorithms for Sensor Deployment.
1681-1695
- Paolo Montuschi, Javier D. Bruguera, Luigi Ciminiera, José-Alejandro Piñeiro:
A Digit-by-Digit Algorithm for mth Root Extraction.
1696-1706
- Pierre Chardaire, Musbah Barake, Geoff P. McKeown:
A PROBE-Based Heuristic for Graph Partitioning.
1707-1720
- Gian-Carlo Cardarilli, Salvatore Pontarelli, Marco Re, Adelio Salsano:
Analysis of Errors and Erasures in Parity Sharing RS Codecs.
1721-1726
Copyright © Fri Mar 12 17:32:56 2010
by Michael Ley (ley@uni-trier.de)