Sciweavers

858 search results - page 32 / 172
» On the Salsa20 Core Function
Sort
View
DEXA
1994
Springer
92views Database» more  DEXA 1994»
14 years 1 months ago
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
Elsa L. Gunter, Leonid Libkin
VLSID
2000
IEEE
135views VLSI» more  VLSID 2000»
14 years 16 days ago
Performance and Functional Verification of Microprocessors
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
Pradip Bose, Jacob A. Abraham
FSS
2007
116views more  FSS 2007»
13 years 9 months ago
Smooth transition autoregressive models and fuzzy rule-based systems: Functional equivalence and consequences
In this work we will explore the theoretical connections existing between fuzzy rule-based systems (FRBS) applied on univariate time series and two statistical reference tools, th...
José Luis Aznarte, José Manuel Ben&i...
MICRO
2002
IEEE
122views Hardware» more  MICRO 2002»
14 years 1 months ago
Microarchitectural denial of service: insuring microarchitectural fairness
Simultaneous multithreading seeks to improve the aggregate computation bandwidth of a processor core by sharing resources such as functional units, caches, TLB and so on. To date,...
Dirk Grunwald, Soraya Ghiasi
PVLDB
2008
105views more  PVLDB 2008»
13 years 8 months ago
Transaction time indexing with version compression
Immortal DB is a transaction time database system designed to enable high performance for temporal applications. It is built into a commercial database engine, Microsoft SQL Serve...
David B. Lomet, Mingsheng Hong, Rimma V. Nehme, Ru...