Sciweavers

4666 search results - page 98 / 934
» Equations on Timed Languages
Sort
View
95
Voted
TNN
2008
171views more  TNN 2008»
15 years 19 days ago
Adaptive Dynamic Inversion via Time-Scale Separation
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...
Naira Hovakimyan, E. Lavretsky, Chengyu Cao
71
Voted
SIAMAM
2000
95views more  SIAMAM 2000»
15 years 16 days ago
Hopf Bifurcation Subject to a Large Delay in a Laser System
Hopf bifurcation theory for an oscillator subject to a weak feedback but a large delay is investigated for a specific laser system. The problem is motivated by semiconductor laser ...
Athanasios Gavrielides, Didier Pieroux, Thomas Ern...
MCMASTER
1993
15 years 4 months ago
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds
With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...
Michael Barnett, Christian Lengauer
ENTCS
2006
136views more  ENTCS 2006»
15 years 23 days ago
A "Hardware Compiler" Semantics for Handel-C
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
Andrew Butterfield, Jim Woodcock
187
Voted
VEE
2012
ACM
255views Virtualization» more  VEE 2012»
13 years 8 months ago
Adding dynamically-typed language support to a statically-typed language compiler: performance evaluation, analysis, and tradeof
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
Kazuaki Ishizaki, Takeshi Ogasawara, José G...