2501 search results - page 168 / 501 » Logics with Rank Operators |
151
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
123
click to vote
ICCSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not...
159
Voted
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
156
click to vote
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Domino circuits have been used in most modern high-performance microprocessor designs because of their high speed, low transistor-count and hazard-free operation. However, with te...
135
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...