Search Sciweavers | Sciweavers

31 search results - page 3 / 7

» Guest-editorial

click to vote

JSAC
2007

89views more JSAC 2007»

Guest Editorial Cross-layer Optimized Wireless Multimedia Communications

14 years 9 months ago

Download infoscience.epfl.ch

Pascal Frossard, Chang Wen Chen, Cormac J. Sreenan...

claim paper

Read More »

click to vote

TVLSI
2008

105views more TVLSI 2008»

Guest Editorial Special Section on Low-Power Electronics and Design

14 years 9 months ago

Download www.princeton.edu

Diana Marculescu, Jörg Henkel

claim paper

Read More »

click to vote

TVLSI
2008

151views more TVLSI 2008»

Guest Editorial Special Section on Design Verification and Validation

14 years 9 months ago

Download www.princeton.edu

ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...

I. Harris, D. Pradhan

claim paper

Read More »

click to vote

JUCS
2007

95views more JUCS 2007»

Formal Methods Guest Editorial

14 years 9 months ago

Download www.jucs.org

: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief

Richard Banach

claim paper

Read More »

Voted

APIN
2002

59views more APIN 2002»

Guest Editorial for Special Issue on Scalable Applications of Neural Networks to Robotics

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers