2501 search results - page 168 / 501 » Logics with Rank Operators |
210
Voted
ESOP
2004
Springer
16 years 10 days 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...
164
click to vote
ICCSA
2004
Springer
16 years 9 days 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...
212
Voted
FDL
2003
IEEE
16 years 7 days 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...
202
Voted
ICCAD
2003
IEEE
16 years 7 days 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...
169
click to vote
ATAL
2003
Springer
16 years 5 days 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...