Sciweavers

14382 search results - page 319 / 2877
» Time in Connectionist Models
Sort
View
ICCS
2004
Springer
16 years 21 hour ago
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
Franck Pommereau
ISCAS
2008
IEEE
121views Hardware» more  ISCAS 2008»
16 years 1 months ago
Wave propagation in oscillators coupled by time-varying resistor with timing mismatch
— Synchronization phenomena in coupled oscillatory systems are very important model to describe various higherdimensional nonlinear phenomena in the field of natural science. In...
Yoko Uwate, Yoshifumi Nishio
ISCAS
2007
IEEE
89views Hardware» more  ISCAS 2007»
16 years 28 days ago
Generalized Blind Mismatch Correction for a Two-Channel Time-Interleaved ADC: Analytic Approach
—Time-interleaved analog-to-digital converters (TIADC) require mismatch calibration to achieve high signal-to-noise ratios. In this paper, we present a new blind technique for M=...
Munkyo Seo, Mark J. W. Rodwell
IAT
2005
IEEE
16 years 8 days ago
Dynamic Determination of the Itinerary of Mobile Agents with Timing Constraints
The mobile agent technology is an important research area in the scope of code mobility. As part of an agent mission objective, it may exist the necessity of meeting an end-to-end...
Luciana Rech, Rômulo Silva de Oliveira, Carl...
ACSD
2003
IEEE
91views Hardware» more  ACSD 2003»
15 years 12 months ago
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...
Javier Esparza