Sponsored White Papers, Webcasts, and Downloads
Additional Resources
- Wave your hands to control your TV
- Two engineers from the University of Wollongong, Australia UOW, have developed a box that will replace your TV remote control. You'll just have to wave your hands to control your electronic gadgets. Their box contains a camera that recognizes your hand signals and translates them into electronic commands for your...
- Tags: Wireless &, Telecom, Leisure, Engineering &, Innovation
- Blog posts 2007-07-22
- Multiplying "Hello World"
- Multiplying "Hello World"Guilty![i]...the programming language you think in shapes the algorithm choice and therefore affects both how you think about a problem and how you solve it - that’s why COBOL programmers working in Perl usually just write COBOL using Perl notation.[/i]This is very true. When I first started...
- Tags: Programming languages, Scripting languages, Development tools, C/C++, Now IT, Mark-Jason Dominus, Perl, COBOL
- Discussion threads 2007-06-05
- Towards Topology Aware Networks
- This paper focuses on efficient protocols that enhance a network with topology awareness. This paper discusses centralized algorithms with provable performance, and introduces decentralized asynchronous heuristics that use only local information and local computations. These algorithms are based on distributed solutions of convex programs expressing optimization of various spectral properties...
- Tags: Algorithm, Ingredient, Eigenvalue, Network Topology, Matrix, Network, Computation, Engineering
- White papers 2007-01-31
- A Verifying Compiler for a Multi-Threaded Object-Oriented Language
- This paper describes the program-verifier component of a verifying compiler for a core multi-threaded object-oriented language. The verifier takes as input a program written in the source language and generates, via a translation into an intermediate verification language, a set of verification conditions. The verification conditions are first-order logical formulas...
- Tags: Compiler, Language, Object-oriented, Verifier, Ooa/Ood/Oop, Development Tools, Software Development, Software/Web Development
- White papers 2007-01-16
- DIBS: Distributed Backup for Local Area Networks
- DIBS Distributed Intranet Backup System is a distributed file backup system for computers in local area networks that lack dedicated or secondary data storage. DIBS exploits the unused disk space among a set of connected machines and the high speed of local area networks to provide a transparent peer-to-peer backup...
- Tags: Network, DIBS, Backups, LANs, Networking
- White papers 2007-01-01
- Adaptive Correctness Monitoring for Wireless Sensor Networks Using Hierarchical Distributed Run-Time Invariant Checking
- This paper presents a hierarchical approach for detecting faults in Wireless Sensor Networks WSNs after they have been deployed. The developers of WSNs can specify "Invariants" that must be satisfied by the WSNs. It presents a framework, Hierarchical SEnsor Network Debugging (H- SEND), for lightweight checking of invariants. H-SEND is...
- Tags: Fault, Network, Monitoring, Sensor, H-SEND, Wi-Fi, Wireless
- White papers 2006-11-27
- SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
- This paper presents SafeDrive, a system for detecting and recovering from type safety violations in software extensions. SafeDrive has low overhead and requires minimal changes to existing source code. To achieve this result, SafeDrive uses a novel type system that provides finegrained isolation for existing extensions written in C. In...
- Tags: Technique, Network Card, Device Driver, University Of California, SafeDrive, Networking
- White papers 2006-11-08
- Transactional Memory With Data Invariants
- This paper introduces a mechanism for asserting invariants that are maintained by a program that uses atomic memory transactions. The idea is simple: a programmer writes check E where E is an expression that should be preserved by every atomic update for the remainder of the program's execution. The authors...
- Tags: Author, Memory, Microsoft Corp., Idea, Development Tools, Software Development, Software/Web Development
- White papers 2006-05-15
- Language Support for Fast and Reliable Message-Based Communication in Singularity OS
- This paper reports on the language, verification, and run-time system features that make messages practical as the sole means of communication between processes in the Singularity operating system. This paper show that using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that...
- Tags: Operating System, Association For Computing Machinery, Language, Development Tools, Operating Systems, Software Development, Software/Web Development, Software
- White papers 2006-04-21
- A UML Class Diagram Analyzer
- Automatic analysis of UML models constrained by OCL invariants is still an open research topic. Especially for critical systems, such tool support is important for early identification of errors in modeling, before functional requirements are implemented. This paper presents ideas on an approach for automatic analysis of UML class diagrams,...
- Tags: Object-oriented, Modeling, UML, Research & Development, Ooa/Ood/Oop, Programming Languages, Software Development, Software/Web Development, Business Operations
- White papers 2004-09-11
- << Previous
- page 1 of 1
- Next >>
White Papers and Webcasts
"See how Intel is consolidating down to 8 global data center hubs through the use of consolidation, virtualization and standardization. The initiative is expected to save Intel $1.8B by project completion.
