Sciweavers

6381 search results - page 264 / 1277
» Alternative Implementation of the C
Sort
View
EDBT
2004
ACM
183views Database» more  EDBT 2004»
16 years 7 months ago
XQBE: A Graphical Interface for XQuery Engines
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...
Daniele Braga, Alessandro Campi, Stefano Ceri
ECSQARU
2009
Springer
16 years 1 months ago
Realizing Default Logic over Description Logic Knowledge Bases
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
DATE
2008
IEEE
140views Hardware» more  DATE 2008»
16 years 1 months ago
FPGA Design for Algebraic Tori-Based Public-Key Cryptography
Algebraic torus-based cryptosystems are an alternative for Public-Key Cryptography (PKC). It maintains the security of a larger group while the actual computations are performed i...
Junfeng Fan, Lejla Batina, Kazuo Sakiyama, Ingrid ...
DATE
2007
IEEE
138views Hardware» more  DATE 2007»
16 years 1 months ago
An ADC-BiST scheme using sequential code analysis
This paper presents a built-in self-test (BiST) scheme for analog to digital converters (ADC) based on a linear ramp generator and efficient output analysis. The proposed analysi...
Erdem Serkan Erdogan, Sule Ozev
PRDC
2007
IEEE
16 years 1 months ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper