Sciweavers

53390 search results - page 71 / 10678

» Computer Systems Analysis

148

RTCSA
2008
IEEE

100views Embedded Systems» more RTCSA 2008»

Forming Virtual Traces for WCET Analysis and Reduction

16 years 16 days ago

Forming Virtual Traces for WCET Analysis and Reduction

Download www.jwhitham.org.uk

Jack Whitham, Neil C. Audsley

claim paper

Read More »

145

LCPC
2007
Springer

113views System Software» more LCPC 2007»

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

16 years 9 days ago

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

Download polaris.cs.uiuc.edu

Yuan Zhang, Evelyn Duesterwald, Guang R. Gao

claim paper

Read More »

136

NOSSDAV
2004
Springer

128views Computer Networks» more NOSSDAV 2004»

Analysis of state exposure control to prevent cheating in online games

15 years 11 months ago

Analysis of state exposure control to prevent cheating in online games

Download www.cs.uga.edu

Kang Li, Shanshan Ding, Doug McCreary, Steve Webb

claim paper

Read More »

128

RTSS
2003
IEEE

98views Control Systems» more RTSS 2003»

FAST: Frequency-Aware Static Timing Analysis

15 years 11 months ago

FAST: Frequency-Aware Static Timing Analysis

Download moss.csc.ncsu.edu

Kiran Seth, Aravindh Anantaraman, Frank Mueller, E...

claim paper

Read More »

160

IJCNN
2007
IEEE

119views Neural Networks» more IJCNN 2007»

Computational Templates, Neural Network Dynamics, and Symbolic Logic

16 years 14 days ago

Computational Templates, Neural Network Dynamics, and Symbolic Logic

Download www.mv.helsinki.fi

— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...

Otto Lappi

claim paper

Read More »

« Prev « First page 71 / 10678 Last » Next »