Sciweavers

3911 search results - page 321 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
ATVA
2009
Springer
97views Hardware» more  ATVA 2009»
15 years 7 months ago
Memory Usage Verification Using Hip/Sleek
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan...
ICA3PP
2009
Springer
15 years 11 months ago
A Software Transactional Memory Service for Grids
In-memory data sharing for grids allow location-transparent access to data stored in volatile memory. Existing Grid middlewares typ- ically support only explicit data transfer betw...
Kim-Thomas Möller, Marc-Florian Müller, ...
SIGCOMM
2010
ACM
15 years 7 months ago
Achieving O(1) IP lookup on GPU-based software routers
IP address lookup is a challenging problem due to the increasing routing table size, and higher line rate. This paper investigates a new way to build an efficient IP lookup scheme...
Jin Zhao, Xinya Zhang, Xin Wang, Xiangyang Xue
ANSS
2001
IEEE
15 years 10 months ago
New Multiprotocol WDM/CDMA-Based Optical Switch Architecture
Different switching techniques have been proposed to design optical switch architectures. Wave Division Multiplexing (WDM) techniques were extensively investigated to implement sw...
Driss Benhaddou, Ala I. Al-Fuqaha, Ghulam Chaudhry
194
Voted
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 10 months ago
Input-output framework for robust stability of time-varying delay systems
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
Yassine Ariba, Frédéric Gouaisbaut