2529 search results - page 187 / 506 » The Logical Structure of Binding |
136
click to vote
FPL
2004
Springer
16 years 5 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...
180
click to vote
HYBRID
2004
Springer
16 years 5 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...
160
click to vote
ICALP
2004
Springer
16 years 5 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...
186
click to vote
WLP
2004
Springer
16 years 3 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...
189
click to vote
CSL
2003
Springer
16 years 11 hour 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...