Sciweavers

2736 search results - page 157 / 548
» Implementable allocation rules
Sort
View
136
Voted
ECOOP
2008
Springer
15 years 1 months ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
100
Voted
JUCS
2008
139views more  JUCS 2008»
15 years 23 days ago
A Progressive Learning Method for Symbol Recognition
: This paper deals with a progressive learning method for symbol recognition which improves its own recognition rate when new symbols are recognized in graphic documents. We propos...
Sabine Barrat, Salvatore Tabbone
93
Voted
SIGECOM
2008
ACM
141views ECommerce» more  SIGECOM 2008»
15 years 22 days ago
On the communication requirements of verifying the VCG outcome
We consider the amount of communication required to verify the outcome of the Vickrey-Clarke-Groves (VCG) mechanism: an efficient allocation together with incentivizing VCG paymen...
Sébastien Lahaie, David C. Parkes
FCCM
2008
IEEE
153views VLSI» more  FCCM 2008»
15 years 7 months ago
A SRAM-based Architecture for Trie-based IP Lookup Using FPGA
Internet Protocol (IP) lookup in routers can be implemented by some form of tree traversal. Pipelining can dramatically improve the search throughput. However, it results in unbal...
Hoang Le, Weirong Jiang, Viktor K. Prasanna
86
Voted
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
15 years 6 months ago
Cooptimization of interface hardware and software for I/O controllers
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
Kuan Jen Lin, Shih Hao Huang, Shan Chien Fang