Grid Systems -- Glogin - Interactive Connectivity for the Grid -- Parallel Program Execution Support in the Jgrid System -- VL-E: Approaches to Design a Grid-Based Virtual Laboratory -- Scheduling and Resource Brokering within the Grid Visualization Kernel -- Cluster Technology -- Message Passing vs. Virtual Shared Memory A Performance Comparison -- MPI-I/O with a Shared File Pointer Using a Pa…
The Telegraph and Telephone Modes -- Fundamentals -- Broadcasting -- Gossiping -- Systolic Communication -- Fault-Tolerance -- Distributed Networks -- Broadcast on Distributed Networks -- Leader Election in Asynchronous Distributed Networks -- Fault-Tolerant Broadcast in Distributed Networks.Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest …
Local Information and Communication Infrastructures: An Introduction -- Local Information and Communication Infrastructures: An Introduction -- I Digital Cities Around the World: Case Studies -- The Seattle Community Network: Anomaly or Replicable Model? -- The Blacksburg Electronic Village: A Study in Community Computing -- The Life and Death of the Great Amsterdam Digital City -- Urban Cybers…
Keynote Talk -- The Development of Oz and Mozart -- Security -- The Structure of Authority: Why Security Is Not a Separable Concern -- The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specificati…
Imaging Magnetic Microspectroscopy -- Study of Ferromagnet-Antiferromagnet Interfaces Using X-Ray PEEM -- Time Domain Optical Imaging of Ferromagnetodynamics -- Lorentz Microscopy -- Electron Holography of Magnetic Nanostructures -- SPLEEM -- SEMPA Studies of Thin Films, Structures, and Exchange Coupled Layers -- Spin-SEM of Storage Media -- High Resolution Magnetic Imaging by Local Tunneling M…
Learning to Rank -- Ranking and Scoring Using Empirical Risk Minimization -- Learnability of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds for Online Category Ranking -- Boosting -- Margin-Based Ranking Meets Boosting in the Middle -- Martingale Boosting -- The Value of Agreement, a New Boosting Algorithm -- Unlabeled Data, Multiclass…
Introducing Perl -- Basic Concepts -- Scalars: Integers, Floating-Point Numbers, and Strings -- Operators -- Arrays, Hashes, References, and Typeglobs -- Structure, Flow, and Control -- Subroutines -- Scope and Visibility -- Using Modules -- Inside Modules and Packages -- Interpolation and Regular Expressions -- Input and Output with Filehandles -- Files and Directories -- Command Line and Shel…
Introduction: Why Lisp? -- Lather, Rinse, Repeat: A Tour of the REPL -- Practical: A Simple Database -- Syntax and Semantics -- Functions -- Variables -- Macros: Standard Control Constructs -- Macros: Defining Your Own -- Practical: Building a Unit Test Framework -- Numbers, Characters, and Strings -- Collections -- They Called It LISP for a Reason: List Processing -- Beyond Lists: Other Uses f…
Fe-M-B (M = IVa TO VIa Metal) Nanocrystalline Soft Magnetic Materials -- The Random Anisotropy Model -- Some Aspects of the Crystallization of Finemet- and Nanoperm-Like Alloys -- Magnetically Soft Nanocrystalline Materials Obtained by Devitrification of Metallic Glasses -- The Initial Stage of Nanocrystallization in Fe-Cu-Nb-Si-B Ferromagnetic Alloys -- Cluster Structure and Thermodynamics of …
Design Flow Overview -- Simulation Tools in System Design -- System Level Modeling -- VHDL-AMS for Block Level Simulation -- to VHDL-AMS -- Selected RF Blocks in VHDL-AMS -- Macromodeling in VHDL-AMS -- Complex Example: WLAN Receiver -- Modeling of Analog Blocks in Verilog-A -- Characterization for Bottom-Up Verification -- Advanced Methods for Overall System Specification and Validation.Modern…