Search Sciweavers | Sciweavers

7827 search results - page 58 / 1566

» time 2007

115

click to vote

PATMOS
2007
Springer

100views Modeling and Simulation» more PATMOS 2007»

Computation of Joint Timing Yield of Sequential Networks Considering Process Variations

15 years 11 months ago

Download veda.eas.asu.edu

Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma...

claim paper

Read More »

126

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

15 years 11 months ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

101

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 »

124

click to vote

AUTONOMICS
2007
ACM

90views Communications» more AUTONOMICS 2007»

Resource disconnection management in MANET driven by process time plan

15 years 9 months ago

Download www.infosys.tuwien.ac.at

Massimiliano de Leoni, Fabio De Rosa, Schahram Dus...

claim paper

Read More »

120

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers