Sciweavers

716 search results - page 4 / 144

» time 1997

32

LICS
1997
IEEE

110views Automated Reasoning» more LICS 1997»

A Kleene Theorem for Timed Automata

14 years 3 months ago

A Kleene Theorem for Timed Automata

Download www-verimag.imag.fr

Eugene Asarin, Paul Caspi, Oded Maler

claim paper

Read More »

32

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

14 years 3 months ago

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

34

DAC
1997
ACM

77views Computer Architecture» more DAC 1997»

Timing Optimization for Multi-Source Nets: Characterization and Optimal Repeater Insertion

14 years 3 months ago

Timing Optimization for Multi-Source Nets: Characterization and Optimal Repeater Insertion

Download www.cs.uic.edu

John Lillis, Chung-Kuan Cheng

claim paper

Read More »

28

POPL
1997
ACM

102views Programming Languages» more POPL 1997»

Is "Just in Time" = "Better Late than Never"?

14 years 3 months ago

Is "Just in Time" = "Better Late than Never"?

Download www.safexpress.com

Michael P. Plezbert, Ron Cytron

claim paper

Read More »

24

SIGIR
1997
ACM

100views Information Technology» more SIGIR 1997»

Time, Relevance and Interaction Modelling for Information Retrieval

14 years 3 months ago

Time, Relevance and Interaction Modelling for Information Retrieval

Download personal.cis.strath.ac.uk

Mark D. Dunlop

claim paper

Read More »

« Prev « First page 4 / 144 Last » Next »