Sciweavers

2642 search results - page 235 / 529
» Merge-by-Wire: Algorithms and System Support
Sort
View
132
Voted
POPL
2010
ACM
16 years 2 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
WISE
2009
Springer
15 years 11 months ago
Multi-synchronous Collaborative Semantic Wikis
Semantic wikis have opened an interesting way to mix Web 2.0 advantages with the Semantic Web approach. However, compared to other collaborative tools, wikis do not support all col...
Charbel Rahhal, Hala Skaf-Molli, Pascal Molli, St&...
CIKM
2007
Springer
15 years 10 months ago
Developing learning strategies for topic-based summarization
Most up-to-date well-behaved topic-based summarization systems are built upon the extractive framework. They score the sentences based on the associated features by manually assig...
Ouyang You, Sujian Li, Wenjie Li
132
Voted
ICES
2005
Springer
176views Hardware» more  ICES 2005»
15 years 10 months ago
Consensus-Based Evaluation for Fault Isolation and On-line Evolutionary Regeneration
While the fault repair capability of Evolvable Hardware (EH) approaches have been previously demonstrated, further improvements to fault handling capability can be achieved by exp...
Kening Zhang, Ronald F. DeMara, Carthik A. Sharma
127
Voted
ASAP
2004
IEEE
127views Hardware» more  ASAP 2004»
15 years 8 months ago
A Public-Key Cryptographic Processor for RSA and ECC
We describe a general-purpose processor architecture for accelerating public-key computations on server systems that demand high performance and flexibility to accommodate large n...
Hans Eberle, Nils Gura, Sheueling Chang Shantz, Vi...