378 search results - page 38 / 76 » Information Flow Analysis for VHDL |
143
Voted
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
115
Voted
CHI
2011
ACM
14 years 5 months ago
2011
ACM
Event sequence analysis is an important task in many domains: medical researchers may study the patterns of transfers within the hospital for quality control; transportation exper...
214
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
109
Voted
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
133
Voted
BROADNETS
2006
IEEE
15 years 5 months ago
2006
IEEE
Efficient routing and wavelength assignment (RWA) in wavelength-routed all-optical networks is critical for achieving high efficiency over the backbone links. Extensive research ha...