2529 search results - page 187 / 506 » The Logical Structure of Binding |
141
click to vote
FPL
2004
Springer
16 years 13 days ago
2004
Springer
This paper proposes a new adaptable FPGA logic element based on fracturable 6-LUTs, which fundamentally alters the longstanding belief that a 4-LUT is the most efficient area/delay...
188
click to vote
HYBRID
2004
Springer
16 years 13 days ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
170
click to vote
ICALP
2004
Springer
16 years 13 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
196
click to vote
WLP
2004
Springer
16 years 12 days ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
198
click to vote
CSL
2003
Springer
16 years 8 days ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...