1116 search results - page 53 / 224 » Applying Predicate Abstraction to Abstract State Machines |
90
Voted
ASM
2004
ASM
15 years 6 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
94
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
112
Voted
ASM
2005
ASM
15 years 2 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
100
click to vote
ISVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper a new extension of the CONDENSATION algorithm, with application to infants face tracking, will be introduced. In this work we address the problem of trackin...
100
Voted
QOSIP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Maintaining accurate network state information in the Traffic Engineering Databases of each node along a network is extremely difficult. The BYPASS Based Routing (BBR) me...