1880 search results - page 276 / 376 » A Static Analysis for Beta-Binders |
176
click to vote
FMSD
2007
15 years 6 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
157
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we investigate a simplified head-of-the-line with priority jumps (HOL-PJ) scheduling discipline. Therefore, we consider a discrete-time single-server queueing syste...
170
click to vote
TCAD
2008
15 years 6 months ago
2008
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
170
Voted
TWC
2008
15 years 6 months ago
2008
Carrier frequency synchronization is critical to the quality of signal reception in OFDM systems. This paper presents an approximate maximum-likelihood (ML) carrier frequency offse...
174
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...