Filters








71,651 Hits in 3.5 sec

Computer-Aided Verification for Mechanism Design [chapter]

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2016 Lecture Notes in Computer Science  
To address both concerns, we explore techniques from computer-aided verification to construct formal proofs of incentive properties.  ...  To demonstrate, we present the verification of a sophisticated mechanism: the generic reduction from Bayesian incentive compatible mechanism design to algorithm design given by Hartline, Kleinberg, and  ...  We especially thank Ran Shorrer for pointing out empirical evidence that agents may manipulate their reports even when the mechanism is truthful.  ... 
doi:10.1007/978-3-662-54110-4_20 fatcat:7vgkp6ov2je6zlgn6wq352gl4y

Page 69 of Journal of Technical Topics in Civil Engineering Vol. 104, Issue TC1 [page]

1978 Journal of Technical Topics in Civil Engineering  
TC1 PROGRAM VERIFICATION 69 Program verification is only one aspect of providing reliable computer-aided designs. Appenvix.—ReFerRENCES . Beck, C.  ...  ., ‘“‘Trends in Computer Software,’’ Structural Mechanics Computer Programs, The University Press of Virginia, Charlottesville, Va., 1974. . Tuba, I. S., and Wright, W.  ... 

Software for composites industry

Artur Pest
2015 Advanced Technologies in Mechanics  
In this article described are solutions for computer aided design, computer aided manufacturing and computer aided inspection on example of Delcam's software for the industries that use composite materials  ...  as well as in the energy industry.  ...  Delcam applications include among others: ■ ■ Delcam PowerSHAPE -CAD application (Computer Aided Design) ■ ■ Delcam PowerMILL -CAM application ( Computer Aided Manufacturing) ■ ■ Delcam PowerINSPECT -CAI  ... 
doi:10.17814/atim.2015.1(2).16 fatcat:xvtwcja4ajawfpfr2b7rujjeua

A Path Construction Algorithm for Translation Validation Using PRES+ Models

Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal, Kunal Banerjee, Krishnam Raju Duddu
2016 Parallel Processing Letters  
Verification of Code Motion Techniques using Value Propagation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 33, no. 8, 2014, pages: 1180-1193. 4.  ...  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 33, no. 12, 2014, pages: 2015-2019. 3.  ... 
doi:10.1142/s0129626416500109 fatcat:wvfslscsbvab5c6h7ase5423ny

Page 58 of Journal of Technical Topics in Civil Engineering Vol. 105, Issue TC1 [page]

1979 Journal of Technical Topics in Civil Engineering  
Components oF Quatity Assurance oF Computer ProGRAMS There are two major components of quality assurance of computer programs used in engineering analysis and design (33): 1.  ...  The verification of a computer program.  ... 

Page 426 of Journal of Technical Topics in Civil Engineering Vol. 105, Issue TC2 [page]

1979 Journal of Technical Topics in Civil Engineering  
—BisLioGRAPHY ‘““ACADS (The Association for Computer Aided Design)—Recommended Standard for Documentation and Checking of Computer Aided Computations,’’ Policy Document 74-1, ACADS, Melbourne, Australia  ...  “Symposium on Engineering Computer Software—Verification—Qualification—Certifica- tion,”’ presented at the May, 1971, American Society of Mechanical Engineers First National Congress on Pressure Vessels  ... 

A Hardware Architecture for Switch-Level Simulation

W.J. Dally, R.E. Bryant
1985 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Design verification plays an essential role in the devel opment of a VLSI chip.  ...  INTRODUCTION A s THE complexity of VLSI circuits approaches 10 6 devices, the computational requirements of design verification are exceeding the capacity of general purpose computers.  ... 
doi:10.1109/tcad.1985.1270120 fatcat:pclvgk6zqzcrtkfsdf42pn5d44

Managing uncertainty in the new manufacturing era

Giovanni Moroni, Stefano Petrò
2018 Procedia CIRP  
and product designers.  ...  To design and optimize production systems as well as to choose the optimal product matches, product analysis methods are needed.  ...  Acknowledgements The 15th CIRP Conference on Computer Aided Tolerancing has been organized by the Department of Mechanical Engineering of Politecnico di Milano, with the support of the Italian Association  ... 
doi:10.1016/j.procir.2018.07.001 fatcat:czd43ig7pvcq5gfnth3ujxtzne

Page 49 of Journal of Research and Practice in Information Technology Vol. 26, Issue 2 [page]

1994 Journal of Research and Practice in Information Technology  
Mechanical Verification of Concurrent Systems with TLA. In v. Bochmann, G. and Probst, D.K., editors, Proc.  ...  Verification of Real-Time Systems Using PVS. In Courcoubetis, C., editor, Proc. Fifth International Worshop on Computer Aided Verification: LNCS 697, pages 280-91, Greece. Springer Verlag.  ... 

A Comparative Study of Computer-Aided Engineering Techniques for Robot Arm Applications

L. Zouari, S. Chtourou, M. Ben Ayed, S. A. Alshaya
2020 Engineering, Technology & Applied Science Research  
Therefore, computer-aided engineering tools have to be enhanced in order to support the verification of the control algorithms.  ...  Robotic systems are designed heterogeneously by combining continuous and event discrete models.  ...  On the other hand, computer-aided design methods have to be up to date in order to support the complexity and the needs of these systems.  ... 
doi:10.48084/etasr.3885 fatcat:yfdzofkijfbvjmr6eutebovfqq

Page 3 of Hewlett-Packard Journal Vol. 38, Issue 5 [page]

1987 Hewlett-Packard Journal  
What they do is often spoken of in acronyms—CAE (computer-aided engineering), CAD (computer-aided de- sign), CAM (computer-aided manufacturing).  ...  tablet, interprocess communication mechanisms for UNIX systems, and software verification using branch analysis.  ... 

Table of contents

2021 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Verification Enhanced Design Debugging With Assistance From Guidance-Based Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ...  Emerging Technologies and Applications Computational Restructuring: Rethinking Image Compression Using Resistive Crossbar Arrays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ... 
doi:10.1109/tcad.2021.3069479 fatcat:7usj7s4h55g77msqr4vjxrwoju

Compiler verification

Maulik A. Dave
2003 Software engineering notes  
Zimmermann; Verification of compilers; In Correct System Design, number 1710 in Lecture Notes in Computer Science, pages 201-230.  ...  Manolios, J Moore (ed.): Computer Aided Rea- soning: ACL2 Case Studies, Kluwer, 2000. 21 George C.  ... 
doi:10.1145/966221.966235 fatcat:2aectsl4ejbkjmsv6erfez5ika

Tolerancing Informatics: Towards Automatic Tolerancing Information Processing in Geometrical Variations Management

Benjamin Schleich, Nabil Anwer
2020 Applied Sciences  
In this regard, the main aim of the paper is to structure existing tolerancing informatics workflows as well as to derive future research potentials and challenges in this domain.  ...  The novelty of the paper can be found in providing a comprehensive overview of tolerancing informatics as an important enabler for future geometrical variations management.  ...  three-dimensional part views of computer-aided design models, which is supported by most commercial computer-aided design tools.  ... 
doi:10.3390/app11010198 fatcat:x7fcyb3xmrdkxlxe6enjtn5udy

Connecting pre-silicon and post-silicon verification

Sandip Ray, Warren A Hunt
2009 2009 Formal Methods in Computer-Aided Design  
We apply the framework in the verification of a cache system.  ...  In particular, we partition a presilicon assertion checker (with full observability) into (1) a limited-observability checker and (2) an in-silicon integrity unit.  ...  Acknowledgements: This work has been funded in part by the Semiconductor Research Corporation under Grant No. 08-TJ-1849. We thank Ganesh Gopalakrishnan for insightful discussions.  ... 
doi:10.1109/fmcad.2009.5351128 dblp:conf/fmcad/RayH09 fatcat:5f63rotsbzbyzkuslpjisywi4q
« Previous Showing results 1 — 15 out of 71,651 results