4814 search results - page 118 / 963 » Combining abstract interpreters |
180
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
142
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
164
click to vote
ESAW
2000
Springer
15 years 9 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
165
click to vote
APPROX
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper, we propose a general framework for designing fully polynomial time approximation schemes for combinatorial optimization problems, in which more than one ob...
171
click to vote
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
Abstract— Most previous studies on tiling concentrate on iteration space only for cache-based memory systems. However, more and more real-time embedded systems are adopting Scrat...