2766 search results - page 403 / 554 » Hybridizing a Logical Framework |
176
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
178
click to vote
WAA
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we present a novel design of a wavelet-based video coding algorithm within a conventional hybrid framework of temporal motion-compensated prediction and transform co...
167
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
115
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
150
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
We present a hybrid algorithm for distributed task allocation problem in a cooperative logistics domain. Our approach aims to achieve superior computational performance by combinin...