2573 search results - page 403 / 515 » Combinations of Modal Logics |
137
click to vote
FCCM
2003
IEEE
15 years 10 months ago
2003
IEEE
FPGAs have appealing features such as customizable internal and external bandwidth and the ability to exploit vast amounts of fine-grain parallelism. In this paper we explore the ...
149
Voted
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...
124
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...
147
click to vote
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
133
click to vote
AI
2003
Springer
15 years 9 months ago
2003
Springer
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...