Search Sciweavers | Sciweavers

4679 search results - page 5 / 936

» The Timely Computing Base Model and Architecture

click to vote

VLSID
2008
IEEE

83views VLSI» more VLSID 2008»

Efficient Linear Macromodeling via Discrete-Time Time-Domain Vector Fitting

14 years 8 months ago

Download www.eee.hku.hk

We present a discrete-time time-domain vector fitting algorithm, called TD-VFz, for rational function macromodeling of port-to-port responses with discrete time-sampled data. The ...

Chi-Un Lei, Ngai Wong

claim paper

Read More »

click to vote

DAC
1994
ACM

100views Computer Architecture» more DAC 1994»

Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs

14 years 16 days ago

Download www.cs.york.ac.uk

Anurag P. Gupta, Daniel P. Siewiorek

claim paper

Read More »

click to vote

DATE
2003
IEEE

118views Hardware» more DATE 2003»

Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints

14 years 1 months ago

Download kabru.eecs.umich.edu

The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...

Sharath Kodase, Shige Wang, Kang G. Shin

claim paper

Read More »

click to vote

CORR
2011
Springer

186views Education» more CORR 2011»

A Real-Time Model-Based Reinforcement Learning Architecture for Robot Control

12 years 12 months ago

Download www.cs.utexas.edu

Todd Hester, Michael Quinlan, Peter Stone

claim paper

Read More »