Sciweavers

716 search results - page 4 / 144

» time 1997

12

LICS
1997
IEEE

110views Automated Reasoning» more LICS 1997»

A Kleene Theorem for Timed Automata

13 years 10 months ago

A Kleene Theorem for Timed Automata

Download www-verimag.imag.fr

Eugene Asarin, Paul Caspi, Oded Maler

claim paper

Read More »

16

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

13 years 10 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 »

16

DAC
1997
ACM

77views Computer Architecture» more DAC 1997»

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

13 years 10 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 »

11

POPL
1997
ACM

102views Programming Languages» more POPL 1997»

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

13 years 10 months ago

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

Download www.safexpress.com

Michael P. Plezbert, Ron Cytron

claim paper

Read More »

10

SIGIR
1997
ACM

100views Information Technology» more SIGIR 1997»

Time, Relevance and Interaction Modelling for Information Retrieval

13 years 10 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 »