2573 search results - page 263 / 515 » Combinations of Modal Logics |
193
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
271
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
163
click to vote
ACSC
2005
IEEE
16 years 8 days ago
2005
IEEE
The proposed Fuzzy Logic Controller (FLC) is a novel approach for dynamic buffer tuning at the user/server level. It eliminates buffer overflow by ensuring that the buffer length ...
174
click to vote
GLVLSI
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
194
click to vote
JSAI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...