Search Sciweavers | Sciweavers

2645 search results - page 4 / 529

» time 2003

Voted

DSN
2003
IEEE

137views Computer Networks» more DSN 2003»

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software

15 years 3 months ago

Download rw4.cs.uni-sb.de

Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...

claim paper

Read More »

Voted

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

15 years 3 months ago

Download www.csc.liv.ac.uk

Boris Konev, Anatoli Degtyarev, Clare Dixon, Micha...

claim paper

Read More »

click to vote

DAC
2003
ACM

132views Computer Architecture» more DAC 2003»

Timing optimization of FPGA placements by logic replication

15 years 11 months ago

Download www.cs.uic.edu

Giancarlo Beraudo, John Lillis

claim paper

Read More »

click to vote

KDD
2003
ACM

122views Data Mining» more KDD 2003»

Enhanced visualization of time series through higher fourier harmonics

15 years 10 months ago

Download www.cs.rpi.edu

Li Zhang, Aidong Zhang, Murali Ramanathan

claim paper

Read More »

click to vote

STOC
2003
ACM

108views Algorithms» more STOC 2003»

Short path queries in planar graphs in constant time

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers