Search Sciweavers | Sciweavers

4666 search results - page 72 / 934

» Equations on Timed Languages

119

click to vote

ICECCS
1997
IEEE

84views Hardware» more ICECCS 1997»

A Language Support Environment for Complex Distributed Real-Time Applications

15 years 9 months ago

Download www.cs.umbc.edu

Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F....

claim paper

Read More »

117

click to vote

FOCS
1992
IEEE

135views Theoretical Computer Science» more FOCS 1992»

Back to the Future: Towards a Theory of Timed Regular Languages

15 years 9 months ago

Download www.cs.berkeley.edu

Rajeev Alur, Thomas A. Henzinger

claim paper

Read More »

click to vote

ASPDAC
2007
ACM

87views Hardware» more ASPDAC 2007»

A Retargetable Software Timing Analyzer Using Architecture Description Language

15 years 9 months ago

Download www.comp.nus.edu.sg

Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Pra...

claim paper

Read More »

110

click to vote

FORMATS
2006
Springer

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

15 years 8 months ago

Download www.lamsade.dauphine.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

100

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers