Search Sciweavers | Sciweavers

6111 search results - page 58 / 1223

» Time, Hardware, and Uniformity

138

click to vote

ICECCS
1997
IEEE

84views Hardware» more ICECCS 1997»

A Language Support Environment for Complex Distributed Real-Time Applications

15 years 10 months ago

Download www.cs.umbc.edu

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

claim paper

Read More »

124

click to vote

CAV
1992
Springer

82views Hardware» more CAV 1992»

Timing Verification by Successive Approximation

15 years 10 months ago

Download user.it.uu.se

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

claim paper

Read More »

112

click to vote

ASPDAC
2007
ACM

87views Hardware» more ASPDAC 2007»

A Retargetable Software Timing Analyzer Using Architecture Description Language

15 years 10 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

128

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 10 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

123

click to vote

ETS
2008
IEEE

72views Hardware» more ETS 2008»

Modeling and Intervening Across Time in Scientific Inquiry Exploratory Learning Environment

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers