9842 search results - page 262 / 1969 » Compositional timing analysis |
131
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
166
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
121
click to vote
NAR
2006
15 years 4 months ago
2006
CorGen is a web server that measures long-range correlations in the base composition of DNA and generates random sequences with the same correlation parameters. Long-range correla...
133
click to vote
APSEC
2010
IEEE
14 years 11 months ago
2010
IEEE
Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single env...
139
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...