5639 search results - page 158 / 1128 » Timed Abstract Non-interference |
92
Voted
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
112
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
108
Voted
EUC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propo...
135
click to vote
EUROCAST
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...
104
click to vote
HUC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Our goal in this paper is to clearly delineate how households currently manage communication and coordination information; this will provide practitioners and designers w...