792 search results - page 46 / 159 » Static Analysis of XSLT Programs |
100
click to vote
CSUR
1999
15 years 12 days ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
112
Voted
BMCBI
2007
15 years 26 days ago
2007
Background: Traditional HTML interfaces for input to and output from Bioinformatics analysis on the Web are highly variable in style, content and data formats. Combining multiple ...
120
Voted
CODES
2009
IEEE
15 years 7 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
100
Voted
JPDC
2008
15 years 21 days ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
123
Voted
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...