Sciweavers

1179 search results - page 56 / 236
» Relative Timing Based Verification of Timed Circuits and Sys...
Sort
View
141
Voted
BIRTE
2006
139views Business» more  BIRTE 2006»
15 years 7 months ago
Quality Contracts for Real-Time Enterprises
Real-time enterprises rely on user queries being answered in a timely fashion and using fresh data. This is relatively easy when systems are lightly loaded and both queries and upd...
Alexandros Labrinidis, Huiming Qu, Jie Xu
111
Voted
PVLDB
2008
84views more  PVLDB 2008»
15 years 3 months ago
When is it time to rethink the aggregate configuration of your OLAP server?
OLAP servers based on relational backends typically exploit materialized aggregate tables to improve response times of complex analytical queries. One of the key problems in this ...
Katja Hose, Daniel Klan, Matthias Marx, Kai-Uwe Sa...
138
Voted
VLSID
2009
IEEE
155views VLSI» more  VLSID 2009»
16 years 4 months ago
Unified Challenges in Nano-CMOS High-Level Synthesis
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
Saraju P. Mohanty
143
Voted
POPL
2000
ACM
15 years 7 months ago
Verifying Secrets and Relative Secrecy
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
Dennis M. Volpano, Geoffrey Smith
167
Voted
RTAS
1999
IEEE
15 years 8 months ago
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa,...