Sciweavers

13101 search results - page 96 / 2621
» The design and implementation of microdrivers
Sort
View
ASIAN
2005
Springer
103views Algorithms» more  ASIAN 2005»
15 years 12 months ago
Implementing a Tamper-Evident Database System
Abstract. Data integrity is an assurance that data has not been modified in an unknown or unauthorized manner. The goal of this paper is to allow a user to leverage a small amount...
Gerome Miklau, Dan Suciu
SEMWEB
2005
Springer
15 years 12 months ago
Using Triples for Implementation: The Triple20 Ontology-Manipulation Tool
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
Jan Wielemaker, Guus Schreiber, Bob J. Wielinga
FPL
2004
Springer
74views Hardware» more  FPL 2004»
15 years 11 months ago
Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers
The paper describes two methods for the design of matrix-oriented SAT solvers based on data compression. The first one provides matrix compression in a host computer and decompress...
Valery Sklyarov, Iouliia Skliarova, Bruno Figueire...
SOSP
2005
ACM
16 years 3 months ago
Implementing declarative overlays
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein...
ISPD
2004
ACM
97views Hardware» more  ISPD 2004»
15 years 11 months ago
Implementation and extensibility of an analytic placer
Automated cell placement is a critical problem in VLSI physical design. New analytical placement methods that simultaneously spread cells and optimize wirelength have recently rec...
Andrew B. Kahng, Qinke Wang