Sciweavers

5339 search results - page 188 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
ISCAS
2008
IEEE
118views Hardware» more  ISCAS 2008»
15 years 9 months ago
Parameter variation analysis for voltage controlled oscillators in phase-locked loops
— A new oscillator sensitivity analysis that predicts the impact of parameter variations of a VCO in a PLL is presented in this paper. Sensitivities of an oscillator’s steady-s...
Igor Vytyaz, David C. Lee, Un-Ku Moon, Kartikeya M...
FOSSACS
2004
Springer
15 years 8 months ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
ICCD
1993
IEEE
124views Hardware» more  ICCD 1993»
15 years 7 months ago
Synthesis of Controllers from Interval Temporal Logic Specification
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
Masahiro Fujita, Shinji Kono
ECOWS
2009
Springer
15 years 7 months ago
An Analysis of Windows Workflow's Control-Flow Expressiveness
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...
Marco Zapletal, Wil M. P. van der Aalst, Nick Russ...
QUESTA
1998
54views more  QUESTA 1998»
15 years 2 months ago
Optimal control of tandem reentrant queues
We consider optimal policies for reentrant queues in which customers may be served several times at the same station. We show that for tandem reentrant queues the lastbuffer-fir...
Ger Koole, Rhonda Righter