Search Sciweavers | Sciweavers

5423 search results - page 163 / 1085

» Denial-of-service in automation systems

147

click to vote

DAC
2001
ACM

107views Computer Architecture» more DAC 2001»

Dynamic Power Management in a Mobile Multimedia System with Guaranteed Quality-of-Service

16 years 7 months ago

Download atrak.usc.edu

Qinru Qiu, Qing Wu, Massoud Pedram

claim paper

Read More »

125

click to vote

DAC
2003
ACM

146views Computer Architecture» more DAC 2003»

Architecture-level performance evaluation of component-based embedded systems

16 years 7 months ago

Download users.ece.utexas.edu

Jeffry T. Russell, Margarida F. Jacome

claim paper

Read More »

159

click to vote

CADE
2003
Springer

134views Logical Reasoning» more CADE 2003»

The CADE-19 ATP System Competition

16 years 6 months ago

Download www.cs.miami.edu

Geoff Sutcliffe, Christian B. Suttner

claim paper

Read More »

222

click to vote

GIS
2008
ACM

117views Automated Reasoning» more GIS 2008»

HOMES: highway operation monitoring and evaluation system

16 years 7 months ago

Download www.ncr.vt.edu

Chang-Tien Lu, Arnold P. Boedihardjo, Jing Dai, Fe...

claim paper

Read More »

163

click to vote

DAC
2008
ACM

81views Computer Architecture» more DAC 2008»

Efficient system design space exploration using machine learning techniques

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers