Sciweavers

1477 search results - page 192 / 296
» Token flow control
Sort
View
VLSID
2006
IEEE
71views VLSI» more  VLSID 2006»
14 years 4 months ago
Clockless Pipelining for Coarse Grain Datapaths
In this paper, we present two novel synchronization approaches to support data flow in clockless designs using single-rail encoding. Both approaches are based on self-resetting st...
Abdelhalim Alsharqawi, Abdel Ejnioui
RSP
2005
IEEE
14 years 3 months ago
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
TOOLS
1999
IEEE
14 years 2 months ago
Combining Object Orientation and Dataflow Modelling in the Vission Simulation System
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
Alexandru Telea
FC
1998
Springer
83views Cryptology» more  FC 1998»
14 years 2 months ago
Distributed Trustees and Revocability: A Framework for Internet Payment
From von Solms and Naccache's standpoint, constructing a practical and secure e-money system implies a proper regulation of its privacy level. Furthermore, when the system ben...
David M'Raïhi, David Pointcheval
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
14 years 2 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren