Search Sciweavers | Sciweavers

6111 search results - page 58 / 1223

» Time, Hardware, and Uniformity

click to vote

ICECCS
1997
IEEE

84views Hardware» more ICECCS 1997»

A Language Support Environment for Complex Distributed Real-Time Applications

13 years 12 months ago

Download www.cs.umbc.edu

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

claim paper

Read More »

click to vote

CAV
1992
Springer

82views Hardware» more CAV 1992»

Timing Verification by Successive Approximation

13 years 11 months ago

Download user.it.uu.se

Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis...

claim paper

Read More »

click to vote

ASPDAC
2007
ACM

87views Hardware» more ASPDAC 2007»

A Retargetable Software Timing Analyzer Using Architecture Description Language

13 years 11 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

click to vote

ETS
2008
IEEE

72views Hardware» more ETS 2008»

Modeling and Intervening Across Time in Scientific Inquiry Exploratory Learning Environment

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers