Member Login

E-mail:    Password:  




 TitleDate AddedCompany
whitepaper Energy Saving Scheduling for Embedded Real-Time Linux Applications0000-00-00 University of Pisa
  The problem of reducing energy consumption is becoming very important in the design of embedded real-time systems. Many of these systems, in fact, are powered by rechargeable batteries, and the goal s to extend, as much as it is possible, the autonomy of the system. To reduce energy consumption, one possible approach is to selectively slow down the processor frequency. This paper proposes a modification of the Linux kernel to schedule aperiodic tasks in a soft real-time environment. The proposed solution consists in a new scheduling strategy based on the Resource Reservation Framework, which introduces very little modification to the Linux API.

Tags: Linux - Open Source, Linux Server OS		   
whitepaper Learning With Hypergraphs: Clustering, Classification, and Embedding2006-11-19 University of Waterloo
  The authors usually endow the investigated objects with pairwise relationships, which can be illustrated as graphs. Naively squeezing the complex relationships into pairwise ones will inevitably lead to loss of information which can be expected valuable for the learning tasks however. Therefore it considers using hypergraphs in-stead to completely represent complex relationships among the objects of the interest, and thus the problem of learning with hypergraphs arises. The main contribution in this paper is to generalize the powerful methodology of spectral clustering which originally operates on undirected graphs to hypergraphs, and further develop algorithms for hypergraph embedding and transductive classification on the basis of the spectral hypergraph clustering approach.

Tags: Data Visualization, High Performance Computing		   
whitepaper Entice - Embedding Firefox in Tk2006-10-02 Digital Smarties
  This paper describes Entice - a Tcl/Tk extension that allows multiple Firefox windows to be embedded into Tk and controlled from a Tcl/Tk application. Entice brings to Tcl/Tk applications on X11 similar functionality to that provided by using Internet Explorer and Optcl on Windows. The paper describes the use of the TkXext extension to embed Firefox, the use of web technologies (XUL, Javascript and AJAX) and a small embedded web server for communication with Firefox.

Tags: Web Browsers, Application Development		   
whitepaper A C-Language Binding for PSL2006-09-01 Microsoft
  In recent years it has been seen an increase in the complexity of embedded system design and in the difficulties of their verification. As a result, engineers have been trying to verify the specifications at a higher level of abstraction. This paper presents an automated tool which is able to perform runtime verification of a program's logical properties asserted by the programmer. The idea is to leverage the Assertion Based Verification language PSL, which is widely used by hardware engineers, extending it to the software verification of C language programs. The properties expressed in a simple subset of PSL are evaluated by the tool during full-system simulation.

Tags: Programming Languages		   
whitepaper Intel Virtualization Technology: New Client Virtualization Usage Models Using Intel Virtualization Technology2006-08-10 Intel
  Intel's Embedded IT (EIT) strategy focuses on defining a set of usages aimed at benefiting IT departments and home PC customer support by providing advanced and remote capabilities for provisioning, manageability, diagnostics, and remediation of the client (desktop and mobile) platform. EIT leverages key platform technologies supported on Intel vPro technology platforms and select digital home platforms, including Intel Virtualization Technology (VT), Intel Active Management Technology (AMT), and dual core processors to deliver an innovative framework on which these capabilities may be implemented and enhanced.

Tags: Security Management, Virtualization		   
whitepaper Virtualization Techniques for Embedded Systems2006-07-20 Waseda University
  Like existing commodity computer systems, embedded systems are no more small, static, stable nor safe. They have huge amount of source codes, interact with the internet, download and install applications from external, which incur the increase of bugs and security holes. To solve these problems, the authors propose to leverage virtualization techniques on embedded systems. The authors ported a machine emulator supporting various architectures to run on a microkernel that runs on several architectures. This paper discusses benefits of using virtualization techniques on embedded system, introduce the implementation and the evaluation of a machine emulator running on a microkernel, and discuss some issues using the system on embedded systems.

Tags: Virtualization		   
whitepaper Embedded SW Design Exploration Using UML-Based Estimation Tools2006-04-25 Universidade Federal do Rio Grande do Sul
  This paper presents an approach for the estimation of memory, performance, and energy from an initial UML specification. It allows the designer to evaluate and compare different modeling solutions, thus supporting design space exploration at a very high abstraction level. An experiment demonstrates the approach, in which an application is modeled in different ways and the solutions are compared using the high-level estimates. Experimental results are presented and demonstrate the effectiveness of the estimates in an early design space exploration. These results present a very small error when software components are reused and their costs are already known, achieving errors that are smaller than 10%.

Tags: Programming Languages, UML		   
whitepaper Low Disturbance Embedded System Tracing With Linux Trace Toolkit Next Generation2006-04-11 Ecole Polytechnique de Montreal
  Embedded systems in applications that include GPS, airplanes, life support devices, video decoders and many others are often required to meet hard and soft real-time constraints. Various proprietary operating systems, like VxWorks and µC/OS-II, aim primarily at allowing programs to have an higher bound on their execution time. They can be deployed in embedded applications where response time must absolutely be met. This paper presents how the kernel tracer "Linux Trace Toolkit next generation" (LTTng)2 can be used to pinpoint time constraints problems in the Linux kernel and validate time constraints by showing the absence of failure in a sample.

Tags: GPS - GIS, Linux - Open Source		   
whitepaper Boxy Types: Inference for Higher-Rank Types and Impredicativity2006-05-02 05:49:02
  Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annotations. This paper shows how to combine the virtues of two well-established ideas: unification-based inference, and bidirectional propagation of type annotations. The result is a type system that conservatively extends Hindley-Milner, and yet supports both higher-rank types and impredicativity.   
whitepaper On-Time and Scalable Intrusion Detection in Embedded Systems2006-02-22 University of Houston
  Embedded systems are becoming ubiquitous and are increasingly interconnected or networked, making them more vulnerable to security attacks. A large class of these systems such as SCADA and PCS has real-time and safety constraints. Therefore, in addition to satisfying these requirements, achieving system security emerges as a critical challenge to ensure that users can trust these embedded systems to perform correct operations. One objective in a secure system is to identify attacks by detecting anomalous system behaviors. This paper describes the challenges in the design and implementation of such intrusion detection capability.

Tags: Security Tools, Intrusion Detection Systems