CoRR, October 2007

• Adam Lipowski, Dorota Lipowska:
  Bio-linguistic transition and Baldwin effect in an evolutionary naming-game model. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0009]
• Jason K. Johnson, Dmitry M. Malioutov, Alan S. Willsky:
  Lagrangian Relaxation for MAP Estimation in Graphical Models. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0013]
• Moslem Noori, Masoud Ardakani:
  A Probability Model for Lifetime of Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0020]
• Maryna Nesterenko, Jiri Patera, Dmytro Zhavrotskyj:
  New families of cryptographic systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0021]
• Julian John McAuley, Tibério S. Caetano, Marconi S. Barbosa:
  Graph rigidity, Cyclic Belief Propagation and Point Pattern Matching. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0043]
• Stanislav Angelov, Keshav Kunal, Andrew McGregor:
  Sorting and Selection with Random Costs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0083]
• Dmitrii Manin:
  Zipf's Law and Avoidance of Excessive Synonymy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0105]
• Amichai Sanderovich, Shlomo Shamai, Yossef Steinberg:
  Distributed MIMO receiver - Achievable rates and upper bounds. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0116]
• Marco Baldi, Franco Chiaraluce:
  LDPC Codes in the McEliece Cryptosystem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0142]
• A. A. Krizhanovsky:
  Evaluation experiments on related terms search in Wikipedia: Information Content and Adapted HITS (In Russian). , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0169]
• Tomas Filler, Jessica J. Fridrich:
  Binary quantization using Belief Propagation with decimation over factor graphs of LDGM codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0192]
• Denis Krotov:
  Z4-Linear Perfect Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0198]
• Denis Krotov:
  Z4-linear Hadamard and extended perfect codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0199]
• Fei Jiang, Hugues Berry, Marc Schoenauer:
  Optimising the topology of complex neural networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0213]
• D. V. Lande, A. A. Snarskii:
  On the role of autocorrelations in texts. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0225]
• S. Braichevsky, D. Lande, A. Snarskii:
  On the fractal nature of mutual relevance sequences in the Internet news message flows. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0228]
• Maurice Margenstern:
  Constructing a uniform plane-filling path in the ternary heptagrid of the hyperbolic plane. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0232]
• Julian John McAuley, Tibério S. Caetano:
  High-Order Nonparametric Belief-Propagation for Fast Image Inpainting. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0243]
• Philip B. Alipour:
  Theoretical Engineering and Satellite Comlink of a PTVD-SHAM System. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0244]
• Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi:
  An Analytical Study of a Structured Overlay in the presence of Dynamic Membership. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0270]
• Wenyi Zhang, Urbashi Mitra:
  On Outage Behavior of Wideband Slow-Fading Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0291]
• Vladimir G. Deineko, Alexandre Tiskin:
  Fast minimum-weight double-tree shortcutting for Metric TSP: Is the best one good enough? , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0318]
• Pascal Koiran, Sylvain Perifel:
  Interpolation in Valiant's theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0360]
• Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi:
  Comparing Maintenance Strategies for Overlays. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0386]
• Philip B. Alipour:
  The Theory of Unified Relativity for a Biovielectroluminescence Phenomenon via Fly's Visual and Imaging System. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0410]
• Axel Lakus-Becker, Ka-Ming Leung:
  New Counting Codes for Distributed Video Coding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0431]
• Vladimir Vovk:
  Prediction with expert advice for the Brier game. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0485]
• Jean-Guillaume Dumas:
  Q-adic Transform revisited. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0510]
• Gianluca Amato, Francesca Scozzari:
  On the interaction between sharing and linearity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0528]
• Fred Daneshgaran, Massimiliano Laddomada, Marina Mondin:
  The Problem of Localization in Networks of Randomly Deployed Nodes: Asymptotic and Finite Analysis, and Thresholds. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0531]
• Anthony A. Ruffa:
  A Novel Solution to the ATT48 Benchmark Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0539]
• Yi Lu, Cyril Measson, Andrea Montanari:
  TP Decoding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0564]
• Yi Lu, Andrea Montanari, Balaji Prabhakar:
  Detailed Network Measurements Using Sparse Graph Counters: The Theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0658]
• Fabio R. J. Vieira, Valmir C. Barbosa:
  Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0672]
• David A. Kay, Alessandro Tomasi:
  Colour image segmentation by the vector-valued Allen-Cahn phase-field model: a multigrid solution. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0736]
• P. Murali Krishna, Sabu M. Thampi:
  A Fast Heuristic Algorithm Based on Verification and Elimination Methods for Maximum Clique Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0748]
• Ying Jun Zhang, Peng Xuan Zheng, Soung Chang Liew:
  Wireless Local Area Networks with Multiple-Packet Reception Capability. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0789]
• Elitza N. Maneva, Alistair Sinclair:
  On the Satisfiability Threshold and Clustering of Solutions of Random 3-SAT Formulas. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0805]
• Joseph O'Rourke:
  Band Unfoldings and Prismatoids: A Counterexample. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0811]
• Norman Danner, James S. Royer:
  Two algorithms in search of a type system. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0824]
• Alexis Clay:
  Systèmes interactifs sensibles aux émotions : architecture logicielle. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0842]
• Alexis Clay, Nadine Couture, Laurence Nigay:
  Emotion capture based on body postures and movements. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0847]
• Suzanne Kieffer, Noëlle Carbonell:
  Assistance orale à la recherche visuelle - étude expérimentale de l'apport d'indications spatiales à la détection de cibles. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0859]
• Lifeng Lai, Hesham El Gamal, H. Vincent Poor:
  Secrecy Capacity of the Wiretap Channel with Noisy Feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0865]
• Grenville J. Croll, Raymond J. Butler:
  Spreadsheets in Clinical Medicine. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0871]
• Wei Kang, Sennur Ulukus:
  A New Achievability Scheme for the Relay Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0900]
• I. Firmansyah, B. Hermanto, L. T. Handoko:
  Control and Monitoring System for Modular Wireless Robot. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0903]
• Hidetoshi Muta, Kimikazu Kato:
  Degeneracy of Angular Voronoi Diagram. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0925]
• Alexandre Lavrenov:
  Multichannel algorithm based on generalized positional numeration system. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.0937]
• V. Kurlin, Lyudmila Mihaylova, Simon Maskell:
  How Many Randomly Distributed Wireless Sensors Are Enough To Make a 1-Dimensional Network Connected With a Given Probability? , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1001]
• Luisa Iturrioz:
  Two representation theorems of three-valued structures by means of binary relations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1007]
• Joaquim Borges, Cristina Fernandez, Jaume Pujol, Josep Rifà, Mercè Villanueva:
  Z2Z4-linear codes: generator matrices and duality. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1149]
• Vincent Atassi, Patrick Baillot, Kazushige Terui:
  Verification of Ptime Reducibility for system F Terms: Type Inference in<br> Dual Light Affine Logic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1153]
• Joseph Boutros, Albert Guillen i Fabregas, Ezio Biglieri, Gilles Zémor:
  Low-Density Parity-Check Codes for Nonergodic Block-Fading Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1182]
• Nitin Salodkar, Abhay Karandikar, Vivek S. Borkar:
  Power Efficient Scheduling under Delay Constraints over Multi-user Wireless Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1190]
• Dominique Duval:
  Diagrammatic Inference. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1208]
• Hua Li, Edwin K. P. Chong:
  A Group Theoretic Model for Information. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1254]
• Francisco J. Piera, Patricio Parada:
  On Convergence Properties of Shannon Entropy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1275]
• Francisco J. Piera, Patricio Parada:
  On the Relationship between Mutual Information and Minimum Mean-Square Errors in Stochastic Dynamical Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1280]
• Ashish Khisti, Gregory W. Wornell:
  The MIMOME Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1325]
• Niranjay Ravindran, Nihar Jindal:
  Multi-User Diversity vs. Accurate Channel Feedback for MIMO Broadcast Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1336]
• Andrea Conti, Dmitry Panchenko, Sergiy Sidenko, Velio Tralli:
  Local Bounds based on Log-Concavity Property of the Error Probability in Wireless Communication Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1383]
• Lifeng Lai, Hesham El Gamal, Hai Jiang, H. Vincent Poor:
  Cognitive Medium Access: Exploration, Exploitation and Competition. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1385]
• Sabu M. Thampi, Ashwin a K:
  Performance Comparison of Persistence Frameworks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1404]
• Petros Drineas, Michael W. Mahoney, S. Muthukrishnan, Tamás Sarlós:
  Faster Least Squares Approximation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1435]
• Ryszard Gokieli, Krzysztof Nawrocki, Adam Padee, Dorota Stojda, Karol Wawrzyniak, Wojciech Wislicki:
  Polish grid infrastructure for science and research. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1436]
• Mark Burgin:
  Superrecursive Features of Interactive Computation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1455]
• Dae San Kim:
  Weight Distributions of Hamming Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1467]
• Dae San Kim:
  Weight Distributions of Hamming Codes (II). , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1469]
• Stasinos Konstantopoulos:
  What's in a Name? , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1481]
• Amey Karkare, Amitabha Sanyal, Uday P. Khedker:
  Heap Reference Analysis for Functional Programs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1482]
• Denis Kutuzov:
  The structure and modeling results of the parallel spatial switching system. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1484]
• Patrik Floréen, Petteri Kaski, Topi Musto, Jukka Suomela:
  Approximating max-min linear programs with local algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1499]
• J. Thukral, Helmut Bölcskei:
  Distributed spatial multiplexing with 1-bit feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1522]
• Sebastiano Vigna, Paolo Boldi:
  Efficient Optimally Lazy Algorithms for Minimal-Interval Semantics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1525]
• Guangwen Li, Guangzeng Feng:
  Fast Reliability-based Algorithm of Finding Minimum-weight Codewords for LDPC Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1589]
• Peng Wu, Nihar Jindal:
  Analysis of Fixed Outage Transmission Schemes: A Finer Look at the Full Multiplexing Point. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1595]
• Awlok Josan, Mingyan Liu, David L. Neuhoff, S. Sandeep Pradhan:
  Throughput Scaling in Random Wireless Networks: A Non-Hierarchical Multipath Routing Strategy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1626]
• Prosenjit Bose, Vida Dujmovic, Ferran Hurtado, Stefan Langerman, Pat Morin, David R. Wood:
  A polynomial bound for untangling geometric planar graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1641]
• Flore Barcellini, Françoise Détienne, Jean-Marie Burkhardt:
  Cross-Participants : fostering design-use mediation in an Open Source Software community. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1772]
• Marc Shapiro, Nuno M. Preguiça:
  Designing a commutative replicated data type. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1784]
• Frank Ruskey, Aaron Williams:
  An explicit universal cycle for the (n-1)-permutations of an n-set. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1842]
• Ning Chen, Zhiyuan Yan:
  Reduced-Complexity Cyclotomic FFT and Its Application in Reed-Solomon Decoding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1879]
• Xiaogang Chen, Hongwen Yang, Jian Gu, Hongkui Yang:
  Evaluate the Word Error Rate of Binary Block Codes with Square Radius Probability Density Function. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1916]
• Frédérique E. Oggier, Babak Hassibi:
  The Secrecy Capacity of the MIMO Wiretap Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1920]
• Mohsen Ravanbakhsh, Yasin Abbasi-Yadkori, Maghsoud Abbaspour, Hamid Sarbazi-Azad:
  A Heuristic Routing Mechanism Using a New Addressing Scheme. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1924]
• Lorenzo Cappellari:
  Distributed Source Coding Using Continuous-Valued Syndromes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1949]
• Sebastiano Vigna:
  Stanford Matrix Considered Harmful. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1962]
• Yukitaka Ishimoto:
  Solving Infinite Kolam in Knot Theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.1976]
• Yingbin Liang, Anelia Somekh-Baruch, H. Vincent Poor, Shlomo Shamai, Sergio Verdú:
  Cognitive Interference Channels with Confidential Messages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2018]
• Wu Jiang, Fei Ding, Qiao-Liang Xiang:
  An Affinity Propagation Based method for Vector Quantization Codebook Design. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2037]
• Oliver Schulte, Flavia Moser, Martin Ester, Zhiyong Lu:
  Association Rules in the Relational Calculus. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2083]
• Ashkan Aazami, Michael D. Stilp:
  Approximation algorithms and hardness for domination with propagation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2139]
• Kamel Aouiche, Daniel Lemire, Robert Godin:
  Collaborative OLAP with Tag Clouds: Web 2.0 OLAP Formalism and Experimental Evaluation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2156]
• Sabu M. Thampi, K. Chandra Sekaran:
  A System for Predicting Subcellular Localization of Yeast Genome Using Neural Network. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2227]
• Daniel Keysers:
  Comparison and Combination of State-of-the-art Techniques for Handwritten Character Recognition: Topping the MNIST Benchmark. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2231]
• Andreas Witzel:
  Symmetric and Synchronous Communication in Peer-to-Peer Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2284]
• Catherine Recanati:
  Success and failure of programming environments - report on the design and use of a graphic abstract syntax tree editor. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2358]
• Walid Belkhir, Luigi Santocanale:
  The Variable Hierarchy for the Games mu-Calculus. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2419]
• Catherine Recanati, Nicoleta Rogovschi, Younès Bennani:
  The structure of verbal sequences analyzed with unsupervised learning techniques. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2446]
• Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
  Generic Trace Semantics via Coinduction. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2505]
• Valerie King, Cynthia Phillips, Jared Saia, Maxwell Young:
  Sleeping on the Job: Energy-Efficient Broadcast for Radio Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2532]
• Osvaldo Simeone, Oren Somekh, Yeheskel Bar-Ness, H. Vincent Poor, Shlomo Shamai:
  Capacity of Linear Two-hop Mesh Networks with Rate Splitting, Decode-and-forward Relaying and Cooperation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2553]
• Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Jian Pei, Yip Sing Ho, Tai Wong, Yubao Liu:
  Efficient Skyline Querying with Variable User Preferences on Nominal Attributes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2604]
• Diederik Aerts, Marek Czachor, Bart De Moor:
  Geometric Analogue of Holographic Reduced Representation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2611]
• Julien M. Hendrickx, Changbin Yu, Baris Fidan, Brian D. O. Anderson:
  Rigidity and persistence for ensuring shape maintenance of multiagent meta formations (ext'd version). , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2659]
• James Ford:
  Linguistic Information Energy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2674]
• Shih-Chun Lin, Mohammad Shahmohammadi, Hesham El Gamal:
  Fingerprinting with Minimum Distance Decoding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2705]
• Rong Li, Zhisheng Duan, Guanrong Chen:
  Cost and Effects of Pinning Control for Network Synchronization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2716]
• Dima Grigoriev:
  Probabilistic communication complexity over the reals. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2732]
• Chao Liu, Zhisheng Duan, Guanrong Chen, Lin Huang:
  L2 norm performance index of synchronization and optimal control synthesis of complex networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2736]
• Leonardo R. Emmendorfer, Aurora Pozo:
  Effective linkage learning using low-order statistics and clustering. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2782]
• Francis Bach:
  Consistency of trace norm minimization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2848]
• Patrick Blackburn, Sébastien Hinderer:
  Generating models for temporal representations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2852]
• Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra:
  Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2887]
• Nir Ailon, Mehryar Mohri:
  An efficient reduction of ranking to classification. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2889]
• Li an-Ping:
  A generic attack to ciphers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2970]
• Paul Bedaride:
  Using Description Logics for Recognising Textual Entailment. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.2988]
• Louis Yu Lu:
  Fast Intrinsic Mode Decomposition of Time Series Data with Sawtooth Transform. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3170]
• George A. Maney:
  Modeling Context, Collaboration, and Civilization in End-User Informatics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3178]
• Harki Tanaka, Neli Regina Siqueira Ortega, Mauricio Stanzione Galizia, Joao Batista Borges Sobrinho, Marcelo Britto Passos Amato:
  Fuzzy Modeling of Electrical Impedance Tomography Image of the Lungs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3185]
• David Talbot, John M. Talbot:
  Bloom maps. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3246]
• Meixia Tao, Ying-Chang Liang, Fan Zhang:
  Resource Allocation for Delay Differentiated Traffic in Multiuser OFDM Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3279]
• Meixia Tao:
  Effects of Non-Identical Rayleigh Fading on Differential Unitary Space-Time Modulation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3283]
• Tretjakova Tamara:
  Nontraditional Scoring of C-tests. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3285]
• Francis Klay, Judson Santiago, Laurent Vigneron:
  Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3305]
• Paul C. Attie, Jad Saklawi:
  Model and Program Repair via SAT Solvers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3332]
• Ivana Maric, Andrea J. Goldsmith, Gerhard Kramer, Shlomo Shamai:
  On the Capacity of Interference Channels with One Cooperating Transmitter. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3375]
• Shashi Kiran Chilappagari, Bane V. Vasic:
  Error Correction Capability of Column-Weight-Three LDPC Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3427]
• Xiaolu Zhang, Meixia Tao, Chun Sum Ng:
  Utility-Based Wireless Resource Allocation for Variable Rate Transmission. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3439]
• G. Fraidy Bouesse, Marc Renaudin, Sophie Dumont, Fabien Germain:
  DPA on quasi delay insensitive asynchronous circuits: formalization and improvement. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3443]
• Victor Kromer:
  Problems of Testology. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3447]
• Stergos D. Afantenos, Vangelis Karkaletsis, Panagiotis Stamatopoulos, Constantin Halatsis:
  Using Synchronic and Diachronic Relations for Summarizing Multiple Documents Describing Evolving Events. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3502]
• Jan Foniok:
  P-matrix recognition is co-NP-complete. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3519]
• Francesco Belletti, M. Cotallo, A. Cruz, Luis Antonio Fernandez, A. Gordillo, Andrea Maiorano, Filippo Mantovani, Enzo Marinari, Victor Martin-Mayor, Antonio Munoz Sudupe, Denis Navarro, Sergio Perez Gaviro, M. Rossi, Juan Jesus Ruiz-Lorenzo, Sebastiano Fabio Schifano, Daniele Sciretti, Alfonso Tarancon, Raffaele Tripiccione, Jose Luis Velasco:
  IANUS: an FPGA-based System for High Performance Scientific Computing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3535]
• Krzysztof R. Apt, Jonathan A. Zvesper:
  Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3536]
• Arturo Berrones:
  Stationary probability density of stochastic search processes in global optimization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3561]
• Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, Hana Rudová:
  On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3603]
• Withawat Withayachumnankul, Bernd M. Fischer, Samuel P. Mickan, Derek Abbott:
  Numerical removal of water-vapor effects from THz-TDS measurements. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3621]
• Florent Bouchez, Alain Darte, Fabrice Rastello:
  On the Complexity of Spill Everywhere under SSA Form. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3642]
• Sumit Kumar Jha:
  Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3764]
• Amir Salman Avestimehr, Suhas N. Diggavi, David N. C. Tse:
  A Deterministic Approach to Wireless Relay Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3777]
• Sumanth Kumar Reddy Gangasani:
  Testing D-Sequences for their Randomness. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3779]
• Amir Salman Avestimehr, Suhas N. Diggavi, David N. C. Tse:
  Wireless Network Information Flow. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3781]
• Mohd Abubakr:
  Frequency Analysis of Decoupling Capacitors for Three Voltage Supplies in SoC. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3789]
• Raman Venkataramani, M. Fatih Erden:
  A Posteriori Equivalence: A New Perspective for Design of Optimal Channel Shortening Equalizers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3802]
• Thierry Mora, Lenka Zdeborová:
  Random subcubes as a toy model for constraint satisfaction problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3804]
• Dejan V. Djonin:
  A Note on Comparison of Error Correction Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3817]
• Sylvie Delaët, Partha Sarathi Mandal, Mariusz A. Rokicki, Sébastien Tixeuil:
  Deterministic Secure Positioning in Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3824]
• Jarek Duda:
  Optimal encoding on discrete lattice with translational invariant constrains using statistical algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3861]
• Shlomo Shamai, Oren Somekh, Osvaldo Simeone, Amichai Sanderovich, Benjamin M. Zaidel, H. Vincent Poor:
  Cooperative Multi-Cell Networks: Impact of Limited-Capacity Backhaul and Inter-Users Links. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3888]
• Marc Tedder, Derek G. Corneil, Michel Habib, Christophe Paul:
  Simple, linear-time modular decomposition. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3901]
• Wojtek Bigos, Stéphane Gosselin, Bernard Cousin, Morgane Le Foll, Hisao Nakajima:
  Optimized Design of Survivable MPLS over Optical Transport Networks. Optical Switching and Networking. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3916]
• Hamza Drid, Bernard Cousin, Miklós Molnár:
  Heuristic Solution to Protect Communications in WDM Networks using P-cycles. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3917]
• Simon Gyula, Miklós Molnár, László Gönczy, Bernard Cousin:
  Dependable k-coverage algorithms for sensor networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3918]
• Fred Daneshgaran, Massimiliano Laddomada, F. Mesiti, Marina Mondin:
  On the Behavior of the Distributed Coordination Function of IEEE 802.11 with Multirate Capability under General Transmission Conditions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3955]
• Victor Korotkikh, Galina Korotkikh:
  On a New Type of Information Processing for Efficient Management of Complex Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3961]
• Akshay Kashyap, Luis Alfonso Lastras-Montaño, Cathy H. Xia, Zhen Liu:
  Distributed source coding in dense sensor networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3974]
• William Yurcik, Clay Woolam, Greg Hellings, Latifur Khan, Bhavani M. Thuraisingham:
  Toward Trusted Sharing of Network Packet Traces Using Anonymization: Single-Field Privacy/Analysis Tradeoffs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.3979]
• Alfonso Martinez, Albert Guillen i Fabregas, Giuseppe Caire, Frans Willems:
  Bit-interleaved coded modulation in the wideband regime. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4046]
• Ioannis Kontoyiannis:
  Some information-theoretic computations related to the distribution of prime numbers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4076]
• Tie Liu, Shlomo Shamai:
  A Note on the Secrecy Capacity of the Multi-antenna Wiretap Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4105]
• Akisato Kimura, Kunio Kashino, Takayuki Kurozumi, Hiroshi Murase:
  A quick search method for audio signals based on a piecewise linear representation of feature trajectories. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4180]
• Roman Ilin, Robert Kozma, Paul J. Werbos:
  Beyond Feedforward Models Trained by Backpropagation: a Practical Training Tool for a More Efficient Universal Approximator. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4182]
• Akisato Kimura, Tomohiko Uyematsu, Shigeaki Kuzuoka:
  Universal coding for correlated sources with complementary delivery. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4187]
• Yoshiharu Maeno, Yukio Ohsawa:
  Analyzing covert social network foundation behind terrorism disaster. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4231]
• Peter Rost, Gerhard Fettweis:
  Analysis of a Mixed Strategy for Multiple Relay Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4255]
• Wojtek Bigos, Bernard Cousin, Stéphane Gosselin, Morgane Le Foll, Hisao Nakajima:
  Survivable MPLS Over Optical Transport Networks: Cost and Resource Usage Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4261]
• Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum:
  An approximation trichotomy for Boolean #CSP. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4272]
• Evelyne Hubert:
  Differential invariants of a Lie group action: syzygies on a generating set. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4318]
• Richard P. Brent, Paul Zimmermann:
  A Multi-level Blocking Distinct Degree Factorization Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4410]
• Michel Fliess, Cédric Join, Hebertt Sira-Ramírez:
  Non-linear estimation is easy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4486]
• Colm O. Dunlaing, Natalie Schluter:
  Remarks on Jurdzinski and Lorys' proof that palindromes are not a Church-Rosser language. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4499]
• Felipe Cucker, Teresa Krick, Gregorio Malajovich, Mario Wschebor:
  A Numerical Algorithm for Zero Counting. I: Complexity and Accuracy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4508]
• Jacob Katz, Ziyad Hanna, Nachum Dershowitz:
  Space-Efficient Bounded Model Checking. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4629]
• Trent McConaghy, Tom Eeckelaert, Georges G. E. Gielen:
  CAFFEINE: Template-Free Symbolic Model Generation of Analog Circuits via Canonical Form Functions and Genetic Programming. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4630]
• Nikolaos Kavvadias, Spiridon Nikolaidis:
  Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4632]
• Bharat Sukhwani, Uday Padmanabhan, Janet Meiling Wang:
  Nano-Sim: A Step Wise Equivalent Conductance based Statistical Simulator for Nanotechnology Circuit Design. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4633]
• Y. Satish Kumar, Jun Li, Claudio Talarico, Janet Meiling Wang:
  A Probabilistic Collocation Method Based Statistical Gate Delay Model Considering Process Variations and Multiple Input Switching. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4634]
• Tadashi Takeuchi:
  OS Debugging Method Using a Lightweight Virtual Machine Monitor. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4635]
• Stephen J. Mellor, John R. Wolfe, Campbell McCausland:
  Why Systems-on-Chip Needs More UML like a Hole in the Head. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4636]
• Irith Pomeranz, Sudhakar M. Reddy:
  The Accidental Detection Index as a Fault Ordering Heuristic for Full-Scan Circuits. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4637]
• Sankalp S. Kallakuri, Alex Doboli, Eugene A. Feinberg:
  Buffer Insertion for Bridges and Optimal Buffer Sizing for Communication Sub-System of Systems-on-Chip. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4638]
• Cristiano Forzan, Davide Pandini:
  Modeling the Non-Linear Behavior of Library Cells for an Accurate Static Noise Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4639]
• Ilya Issenin, Nikil Dutt:
  FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4640]
• Tim Schattkowsky:
  UML 2.0 - Overview and Perspectives in SoC Design. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4641]
• Shahin Nazarian, Massoud Pedram, Emre Tuncer, Tao Lin, Amir H. Ajami:
  Modeling and Propagation of Noisy Waveforms in Static Timing Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4642]
• Mehrdad Reshadi, Nikil Dutt:
  Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4643]
• Jürgen Schnerr, Oliver Bringmann, Wolfgang Rosenstiel:
  Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4644]
• B. Cheon, E. Lee, Laung-Terng Wang, Xiaoqing Wen, P. Hsu, J. Cho, J. Park, H. Chao, Shianling Wu:
  At-Speed Logic BIST for IP Cores. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4645]
• Oreste Villa, Patrick Schaumont, Ingrid Verbauwhede, Matteo Monchiero, Gianluca Palermo:
  Fast Dynamic Memory Integration in Co-Simulation Frameworks for Multiprocessor System on-Chip. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4646]
• Praveen Ghanta, Sarma B. K. Vrudhula, Rajendran Panda, Janet Meiling Wang:
  Stochastic Power Grid Analysis Considering Process Variations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4649]
• Mahmut T. Kandemir, Guilin Chen:
  Locality-Aware Process Scheduling for Embedded MPSoCs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4652]
• Shervin Sharifi, Javid Jaffari, Mohammad Hosseinabady, Ali Afzali-Kusha, Zainalabedin Navabi:
  Simultaneous Reduction of Dynamic and Static Power in Scan Structures. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4653]
• Peng Li, Frank Liu, Xin Li, Lawrence T. Pileggi, Sani R. Nassif:
  Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4654]
• Baosheng Wang, Yuejian Wu, André Ivanov:
  A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4655]
• Minas Dasygenis, Erik Brockmeyer, Bart Durinck, Francky Catthoor, Dimitrios Soudris, Antonios Thanailakis:
  A Memory Hierarchical Layer Assigning and Prefetching Technique to Overcome the Memory Performance/Energy Bottleneck. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4656]
• Ghenadie Bodean, D. Bodean, A. Labunetz:
  New Schemes for Self-Testing RAM. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4657]
• Anca Mariana Molnos, Marc J. M. Heijligers, Sorin Dan Cotofana, Jos T. J. van Eijndhoven:
  Compositional Memory Systems for Multimedia Communicating Tasks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4658]
• Pierre Bomel, Eric Martin, Emmanuel Boutillon:
  Synchronization Processor Synthesis for Latency Insensitive Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4659]
• W.-L. Hung, Yuan Xie, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin:
  Thermal-Aware Task Allocation and Scheduling for Embedded Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4660]
• Charles Chiang, Andrew B. Kahng, Subarna Sinha, Xu Xu, Alexander Zelikovsky:
  Bright-Field AAPSM Conflict Detection and Correction. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4661]
• Animesh Datta, Swarup Bhunia, Saibal Mukhopadhyay, Nilanjan Banerjee, Kaushik Roy:
  Statistical Modeling of Pipeline Delay and Design of Pipeline under Process Variation to Enhance Yield in sub-100nm Technologies. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4663]
• Nicolò Manaresi, Gianni Medoro, Melanie Abonnenc, Vincent Auger, Paul Vulto, Aldo Romani, Luigi Altomare, Marco Tartagni, Roberto Guerrieri:
  New Perspectives and Opportunities From the Wild West of Microelectronic Biochips. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4665]
• Malay K. Ganai, Aarti Gupta, Pranav Ashar:
  Verification of Embedded Memory Systems using Efficient Memory Modeling. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4666]
• Chien-Liang Chen, Jiing-Yuan Lin, Youn-Long Lin:
  Integration, Verification and Layout of a Complex Multimedia SOC. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4667]
• Cheng-Wen Wu:
  SOC Testing Methodology and Practice. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4669]
• Ilia Polian, Alejandro Czutro, Bernd Becker:
  Evolutionary Optimization in Code-Based Test Compression. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4670]
• Srinivasan Murali, Giovanni De Micheli:
  An Application-Specific Design Methodology for STbus Crossbar Generation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4671]
• Fei Su, Krishnendu Chakrabarty, Vamsee K. Pamula:
  Yield Enhancement of Digital Microfluidics-Based Biochips Using Space Redundancy and Local Reconfiguration. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4672]
• Fei Su, Krishnendu Chakrabarty:
  Design of Fault-Tolerant and Dynamically-Reconfigurable Microfluidic Biochips. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4673]
• Roland Thewes, Christian Paulus, Meinrad Schienle, Franz Hofmann, Alexander Frey, Ralf Brederlow, M. Augustyniak, Martin Jenkner, Björn Eversmann, Petra Schindler-Bauer, Melanie Atzesberger, Birgit Holzapfl, Gottfried Beer, Thomas Haneder, Hans-Christian Hanke:
  CMOS-Based Biosensor Arrays. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4678]
• Himanshu Kaul, Dennis Sylvester, David Blaauw, Trevor N. Mudge, Todd M. Austin:
  DVS for On-Chip Bus Designs Based on Timing Error Correction. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4679]
• Diana Marculescu:
  Energy Bounds for Fault-Tolerant Nanoscale Designs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4680]
• Wolf-Dietrich Weber, Joe Chou, Ian Swarbrick, Drew Wingard:
  A Quality-of-Service Mechanism for Interconnection Networks in System-on-Chips. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4681]
• Ian Oliver:
  Applying UML and MDA to Real Systems Design. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4682]
• Stephen A. Edwards:
  The Challenges of Hardware Synthesis from C-Like Languages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4683]
• Suleyman Tosun, Nazanin Mansouri, Ercument Arvas, Mahmut T. Kandemir, Yuan Xie:
  Reliability-Centric High-Level Synthesis. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4684]
• Cristiana Bolchini, Fabio Salice, Donatella Sciuto, Luigi Pomante:
  Reliable System Specification for Self-Checking Data-Paths. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4685]
• Anuja Sehgal, Fang Liu, Sule Ozev, Krishnendu Chakrabarty:
  Test Planning for Mixed-Signal SOCs with Wrapped Analog Cores. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4686]
• Sandeep Kumar Goel, Erik Jan Marinissen:
  On-Chip Test Infrastructure Design for Optimal Multi-Site Testing of System Chips. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4687]
• Fernanda Lima Kastensmidt, Luca Sterpone, Luigi Carro, Matteo Sonza Reorda:
  On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4688]
• K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
  Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4689]
• Xun Liu, Yuantao Peng, Marios C. Papaefthymiou:
  RIP: An Efficient Hybrid Repeater Insertion Scheme for Low Power. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4690]
• Zhuo Li, Weiping Shi:
  An O(bn^2) Time Algorithm for Optimal Buffer Insertion with b Buffer Types. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4691]
• Kay-Uwe Kirstein, Yue Li, Martin Zimmermann, Cyril Vancura, Tormod Volden, Wan Ho Song, Jan Lichtenberg, Andreas Hierlemann:
  Cantilever-Based Biosensors in CMOS Technology. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4692]
• Ananta K. Majhi, Mohamed Azimane, Guido Gronthoud, Maurice Lousberg, Stefan Eichenberger, Fred Bowen:
  Memory Testing Under Different Stress Conditions: An Industrial Evaluation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4693]
• Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski:
  Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4694]
• Alan Mishchenko, Robert K. Brayton:
  SAT-Based Complete Don't-Care Computation for Network Optimization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4695]
• Aseem Agarwal, Kaviraj Chopra, David Blaauw:
  Statistical Timing Based Optimization using Gate Sizing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4697]
• Ambar A. Gadkari, S. Ramesh:
  Automated Synthesis of Assertion Monitors using Visual Specifications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4698]
• Greg Stitt, Frank Vahid:
  A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4700]
• Jae-Gon Lee, Moo-Kyoung Chung, Ki-Yong Ahn, Sang-Heon Lee, Chong-Min Kyung:
  A Prediction Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4701]
• Nastaran Baradaran, Pedro C. Diniz:
  A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architectures. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4702]
• Tohru Ishihara, Farzan Fallah:
  A Way Memoization Technique for Reducing Power Consumption of Caches in Application Specific Integrated Processors. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4703]
• Yoonjin Kim, Mary Kiemb, Chulsoo Park, Jinyong Jung, Kiyoung Choi:
  Resource Sharing and Pipelining in Coarse-Grained Reconfigurable Architecture for Domain-Specific Optimization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0710.4704]
• Roman L. Lysecky,