Sciweavers

3676 search results - page 134 / 736
» Scalable component abstractions
Sort
View
136
Voted
SDL
2007
192views Hardware» more  SDL 2007»
15 years 2 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
101
Voted
WOTUG
2007
15 years 1 months ago
A Process Oriented Approach to USB Driver Development
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
Carl G. Ritson, Fred R. M. Barnes
TWC
2008
154views more  TWC 2008»
15 years 20 days ago
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks
Abstract-- In many portable devices, wireless network interfaces consume upwards of 30% of scarce system energy. Reducing the transceiver's power consumption to extend the sys...
Sofie Pollin, Rahul Mangharam, Bruno Bougard, Lies...
94
Voted
DEXAW
2003
IEEE
97views Database» more  DEXAW 2003»
15 years 6 months ago
Ubiquitous negotiation games: a case study
that negotiation is a powerful abstract notion for the coordination of generic services available from distributed components. This is the main motivation underlying the developme...
Reinhard Brandl, Jean-Marc Andreoli, Stefania Cast...
93
Voted
CL
2008
Springer
15 years 26 days ago
Foundations of a simple and unified component-oriented language
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...
Luc Fabresse, Christophe Dony, Marianne Huchard