1855 search results - page 82 / 371 » Composing model programs for analysis |
126
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
100
click to vote
ICCAD
1991
IEEE
15 years 6 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
136
click to vote
KDD
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we propose an information retrieval model called Latent Interest Semantic Map (LISM), which features retrieval composed of both Collaborative Filtering(CF) and Prob...
119
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
112
click to vote
WCET
2008
15 years 4 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...