Beba BEhavioural BAsed forwarding Towards a Stateful Forwarding Abstraction to Implement Scalable Network Functions in Software and Hardware

Source URL: www.beba-project.eu

Microsoft Word - 06-SharedPhidgets-TEI.doc

Source URL: grouplab.cpsc.ucalgary.ca

• Data
• User interface
• Interface
• Server
• X Window System
• Operating system
• Programmer
• Graphical user interface
• Hardware abstraction
• Open Platform Communications

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

Source URL: web.cs.wpi.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Hardware verification languages
• Aspect-oriented software development
• Formal verification
• Model checking
• Abstraction
• E
• Communications protocol
• Modularity
• Construction and Analysis of Distributed Processes

Making Paths Explicit in the Scout Operating System David Mosberger and Larry L. Peterson TRAbstract This paper makes a case for paths as an explicit abstraction in operating system design. Paths provide a

Source URL: www.cs.fsu.edu

• Routing protocols
• Computer networking
• Internet protocols
• Internet Standards
• Networking hardware
• Router
• Routing
• Traffic flow
• Border Gateway Protocol
• Communications protocol
• Internet Protocol
• Forwarding plane

Atomic Transactional Execution in Hardware: A New High-Performance Abstraction for Databases? Ravi Rajwar Intel Labs-MRL

Source URL: hpts.ws

ADAM: A Decentralized Parallel Computer Architecture Featuring Fast Thread and Data Migration and a Uniform Hardware Abstraction by Andrew “bunnie” Huang

Source URL: www.xenatera.com

PDF Document

Source URL: www.xenomai.org

• Computing
• RTAI
• Xenomai
• Ioctl
• Device driver
• Operating system
• Hardware abstraction
• RTLinux
• Device file
• Real-time operating systems
• System software
• Computer architecture

ISys Embedded Middleware Version 2.0

Source URL: www.lextel.com

• Operating system
• Middleware
• Hardware abstraction
• Application programming interface
• Embedded system
• Command-line interface
• Operating System Abstraction Layer
• Windows
• Software
• Computer architecture
• System software

ISys-TimeSys Embedded Middleware For TimeSys Linux Version 2.0

Source URL: www.lextel.com

• Application programming interface
• Operating system
• Hardware abstraction
• Embedded system
• Embedded middleware
• TimeSys
• Operating System Abstraction Layer
• Computer architecture
• Computing
• Middleware
• System software
• Systems engineering

Contract Engineering Services Real Time and Embedded Systems Representative Contract Projects Sample Projects

Source URL: www.lextel.com

• Microsoft Windows
• Windows NT
• VxWorks
• Embedded system
• RAID
• Server
• File system
• Device driver
• Hardware abstraction
• Computer architecture
• System software
• Computing