Sciweavers

1462 search results - page 215 / 293
» The Abstract MAC Layer
Sort
View
84
Voted
DATE
2004
IEEE
128views Hardware» more  DATE 2004»
15 years 4 months ago
Synthesis for Manufacturability: A Sanity Check
As we move towards nanometer technology, manufacturing problems become overwhelmingly difficult to solve. Presently, optimization for manufacturability is performed at a post-synt...
Alessandra Nardi, Alberto L. Sangiovanni-Vincentel...
90
Voted
ECOOP
2006
Springer
15 years 4 months ago
Improving AOP Systems' Evolvability by Decoupling Advices from Base Code
The evolvability of AOP systems is severely affected by the tight coupling between aspects and base code. This paper identifies the advice fragility problem, originated in the need...
Alan Cyment, Nicolas Kicillof, Rubén Altman...
109
Voted
FMCAD
2006
Springer
15 years 4 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
123
Voted
CASES
2001
ACM
15 years 4 months ago
A vision for embedded software
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
Alberto L. Sangiovanni-Vincentelli, Grant Martin
83
Voted
EDO
2000
Springer
15 years 4 months ago
Towards Designing Distributed Systems with ConDIL
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
Felix Bübl