386 search results - page 66 / 78 » Coalgebraic Hybrid Logic |
218
click to vote
ISPD
2012
ACM
13 years 7 months ago
2012
ACM
As technology scales and frequency increases, a new design style is emerging, referred to as hybrid designs, which contain a mixture of random logic and datapath standard cell com...
CADE
2009
Springer
16 years 9 days ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
182
click to vote
VLDB
2007
ACM
15 years 12 months ago
2007
ACM
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...
WSC
2008
15 years 2 months ago
2008
Discrete Rate Simulation (DRS) is a modeling methodology that uses event based logic to simulate linear continuous processes and hybrid systems. These systems are concerned with t...
TVLSI
2010
14 years 6 months ago
2010
Clock network is a vulnerable victim of variations as well as a main power consumer in many integrated circuits. Recently, link-based non-tree clock network attracts people's...