1176 search results - page 128 / 236 » Implicit Abstraction Heuristics |
FIDJI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
104
Voted
SAFECOMP
2004
Springer
15 years 6 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
93
Voted
WEA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Graphs can be represented symbolically by the Ordered Binary Decision Diagram (OBDD) of their characteristic function. To solve problems in such implicitly given graphs, ...
95
Voted
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a novel framework, aspect space, to balance deformability and discriminability, which are often two competing factors in shape and image representations. In th...
108
Voted
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...