1880 search results - page 212 / 376 » A Static Analysis for Beta-Binders |
195
click to vote
APVIS
2004
15 years 8 months ago
2004
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...
180
click to vote
WCET
2007
15 years 7 months ago
2007
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bou...
157
click to vote
TVLSI
2008
15 years 6 months ago
2008
With aggressive scaling down of feature sizes in VLSI fabrication, process variation has become a critical issue in designs. We show that two necessary conditions for the "Max...
212
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Korean is an agglutinative language that does not have explicit word boundaries. It is also a highly inflective language that exhibits severe coarticulation effects. These charac...
309
click to vote
CSMR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...