Sciweavers

4887 search results - page 273 / 978
» System Level Design Using C
Sort
View
TWC
2008
177views more  TWC 2008»
15 years 6 months ago
Generalized Design of Multi-User MIMO Precoding Matrices
In this paper we introduce a novel linear precoding technique. The approach used for the design of the precoding matrix is general and the resulting algorithm can address several o...
Veljko Stankovic, Martin Haardt
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
16 years 2 days ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
UIST
1997
ACM
15 years 10 months ago
Designing and Implementing Asynchronous Collaborative Applications with Bayou
Asynchronous collaboration is characterized by the degree of independence collaborators have from one another. In particular, collaborators working asynchronously typically have l...
W. Keith Edwards, Elizabeth D. Mynatt, Karin Peter...
DATE
2007
IEEE
108views Hardware» more  DATE 2007»
16 years 29 days ago
Evaluation of design for reliability techniques in embedded flash memories
Non-volatile Flash memories are becoming more and more popular in Systems-on-Chip (SoC). Embedded Flash (eFlash) memories are based on the well-known floatinggate transistor conce...
Benoît Godard, Jean Michel Daga, Lionel Torr...
ICT
2004
Springer
145views Communications» more  ICT 2004»
15 years 12 months ago
Design and Implementation of an ANTS-Based Test Bed for Collecting Data in Active Framework
The active networks approach has been presented as an alternative technology for solving several problems in conventional networks, mainly in the network management area. This work...
V. Damasceno Matos, Jorge Luis de Castro e Silva, ...