Sciweavers

413 search results - page 48 / 83
» On Product Logic with Truth-constants
Sort
View
DAC
2000
ACM
16 years 24 days ago
Dynamic noise analysis in precharge-evaluate circuits
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...
Dinesh Somasekhar, Seung Hoon Choi, Kaushik Roy, Y...
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
15 years 6 months ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
15 years 5 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
15 years 5 months ago
Search Experiment of Business-Rule by Dynamic Constraint Algebra
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
Rui Kimura, Takayuki Shiga, Mizuho Iwaihara
SIGMOD
2004
ACM
123views Database» more  SIGMOD 2004»
15 years 5 months ago
Model-Driven Business UI based on Maps
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
Per Bendsen