1536 search results - page 277 / 308 » The Underlying Logic of Hoare Logic |
MOBICOM
2004
ACM
14 years 25 days ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...
WWW
2003
ACM
14 years 20 days ago
2003
ACM
This article presents the semantic portal MUSEUMFINLAND for publishing heterogeneous museum collections on the Semantic Web. It is shown how museums with their semantically rich a...
FPGA
2003
ACM
14 years 19 days ago
2003
ACM
This paper presents a flexible FPGA architecture evaluation framework, named fpgaEVA-LP, for power efficiency analysis of LUT-based FPGA architectures. Our work has several contri...
ECRTS
2000
IEEE
13 years 11 months ago
2000
IEEE
Internal clock synchronization has been investigated, or employed, for quite a number of years, under the requirement of good upper bounds for the deviation, or accuracy, between ...
ISCC
2000
IEEE
13 years 11 months ago
2000
IEEE
-- In a WAN established infrastructure, one of the main problems ATM network planners and users face, when greater than T1/E1 bandwidth is required, is the high cost associated to ...