1880 search results - page 234 / 376 » A Static Analysis for Beta-Binders |
157
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
146
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
160
click to vote
WIA
2007
Springer
16 years 19 days ago
2007
Springer
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and p...
144
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper, we present an extension to existing approaches that capture and exploit timing-correlation between tasks for scheduling analysis in distributed systems. Previous ap...
180
click to vote
ICDAR
2005
IEEE
16 years 4 days ago
2005
IEEE
Relationships that link static documents discussed during meetings to the corresponding speech transcripts can be of various kinds. The most important ones, thematic links, quotat...