5639 search results - page 574 / 1128 » Timed Abstract Non-interference |
176
Voted
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
148
Voted
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- Due to photo-lithography effects and manufacture process variations, the actual features fabricated on the wafer are different from the designed ones. This difference ca...
155
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract - This paper presents a fast and accurate global routing algorithm, DpRouter, based on two efficient techniques: (1) dynamic pattern routing (Dpr), and (2) segment movemen...
188
click to vote
ICIAR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Due to improvements in image acquisition and storage technology, terabyte-sized databases of images are nowadays common. This abundance of data leads us to two basic prob...
164
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...