925 search results - page 105 / 185 » Connectivity on Complete Lattices |
183
click to vote
CSL
2007
Springer
16 years 6 days ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
153
click to vote
CSL
2007
Springer
16 years 6 days ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
176
click to vote
E2EMON
2006
IEEE
16 years 2 days ago
2006
IEEE
— Knowledge of link capacities is essential, e.g., for ISPs to troubleshoot paths outside the boundaries of their networks. However, the vast majority of capacity measurement too...
141
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
This paper presents an efficient modeling scheme and a partitioning heuristic for parallelizing VLSI post-placement timing optimization. Encoding the paths with timing violations...
170
click to vote
DASFAA
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. With the ever increasing connection between XML information systems over the Web, users are able to obtain integrated sources of XML information in a cooperative manner, ...