6960 search results - page 1022 / 1392 » Continuity Analysis of Programs |
146
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
162
click to vote
ER
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
239
click to vote
DAC
1998
ACM
15 years 8 months ago
1998
ACM
Interconnect-driven optimization is an increasingly important step in high-performance design. Algorithms for buffer insertion have been successfully utilized to reduce delay in gl...
144
click to vote
CIVR
2008
Springer
15 years 6 months ago
2008
Springer
Great effort has been made to improve video concept detection and continuous progress has been reported. With the current evaluation method being confined to carefully annotated d...
143
click to vote
EUROISI
2008
15 years 6 months ago
2008
This paper discusses the task of tracking mentions of some topically interesting textual entity from a continuously and dynamically changing flow of text, such as a news feed, the ...