5639 search results - page 160 / 1128 » Timed Abstract Non-interference |
103
Voted
WABI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Contact maps are a model to capture the core information in the structure of biological molecules, e.g., proteins. A contact map consists of an ordered set ¡ of elements...
117
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
115
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Realization of all-digital baseband receiver processing for multi-Gigabit communication requires analog-to-digital converters(ADCs) of sufficient rate and output resolu...
COCOON
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A circular-arc model (C, A) is a circle C together with a collection A of arcs of C. If A satisfies the Helly Property then (C, A) is a Helly circular-arc model. A (Helly...