1113 search results - page 74 / 223 » Counter Systems for Data Logics |
152
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
268
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper introduces U-relations, a succinct and purely relational representation system for uncertain databases. U-relations support attribute-level uncertainty using vertical pa...
162
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
153
click to vote
IEEEPACT
2005
IEEE
15 years 10 months ago
2005
IEEE
VLIW architectures are popular in embedded systems because they offer high-performance processing at low cost and energy. The major problem with traditional VLIW designs is that t...
132
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...