Sciweavers

4609 search results - page 9 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
COMPUTER
1999
67views more  COMPUTER 1999»
14 years 9 months ago
Current Directions in Automatic Test-Pattern Generation
Kwang-Ting Cheng, Angela Krstic
CSUR
1999
60views more  CSUR 1999»
14 years 9 months ago
Automatic link generation
Ross Wilkinson, Alan F. Smeaton
TOMS
1998
56views more  TOMS 1998»
14 years 9 months ago
The Automatic Generation of Sparse Primitives
Aart J. C. Bik, Peter Brinkhaus, Peter M. W. Knijn...
SAC
2008
ACM
14 years 9 months ago
Template design and automatic generation of controllers for industrial robots
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
Lenko Grigorov, Karen Rudie, José E. R. Cur...
JIB
2010
48views more  JIB 2010»
14 years 8 months ago
MEMOPS: Data modelling and automatic code generation.
Rasmus H. Fogh, Wayne Boucher, John McIonides, Wim...