1880 search results - page 264 / 376 » A Static Analysis for Beta-Binders |
183
click to vote
WIOPT
2006
IEEE
16 years 6 days ago
2006
IEEE
— In this paper we investigate the limiting properties, in terms of capacity and delay, of an ad hoc network employing a topology-transparent scheduling scheme. In particular, we...
160
click to vote
ADBIS
2006
Springer
16 years 6 days ago
2006
Springer
The XSLT language is used to describe transformations of XML documents into other formats. The transformed XML documents conform to output schemas of the used XSLT stylesheet. Outp...
132
click to vote
MSR
2006
ACM
16 years 5 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
138
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
182
click to vote
ASWEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...