Sciweavers

6111 search results - page 12 / 1223

» Time, Hardware, and Uniformity

21

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

14 years 1 months ago

Real-Time Model Checking Is Really Simple

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

20

DATE
2003
IEEE

93views Hardware» more DATE 2003»

Timing Verification with Crosstalk for Transparently Latched Circuits

14 years 27 days ago

Timing Verification with Crosstalk for Transparently Latched Circuits

Download www.date-conference.com

Hai Zhou

claim paper

Read More »

26

CAV
2001
Springer

88views Hardware» more CAV 2001»

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

14 years 3 days ago

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

Download www.eecs.wsu.edu

Zhe Dang

claim paper

Read More »

21

ASPDAC
2000
ACM

81views Hardware» more ASPDAC 2000»

A scheduling and allocation method to reduce data transfer time by dynamic reconfiguration

13 years 12 months ago

A scheduling and allocation method to reduce data transfer time by dynamic reconfiguration

Download www.cecs.uci.edu

Kazuhito Ito

claim paper

Read More »

21

ASAP
1996
IEEE

104views Hardware» more ASAP 1996»

Monitoring and Debugging a Hard Real-Time Distributed Computer for Aircraft Industry

13 years 11 months ago

Monitoring and Debugging a Hard Real-Time Distributed Computer for Aircraft Industry

Download www.vmars.tuwien.ac.at

Nicolas Hubart

claim paper

Read More »

« Prev « First page 12 / 1223 Last » Next »