3994 search results - page 464 / 799 » A Linear Logical Framework |
152
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
－ This paper presents a 2GS/s 10-bit CMOS digital-to-analog converter (DAC). This DAC consists of a unit current-cell matrix for 6MSBs and another unit current-cell matrix for 4L...
191
Voted
APN
2007
Springer
16 years 1 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
182
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
221
Voted
Publication
We present a method for detecting and describing features in vector flow fields. Our method models flow fields locally using a linear combination of complex monomials. These monomi...
180
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...