Search Sciweavers | Sciweavers

425 search results - page 38 / 85

» Automated Synthesis of Multitolerance

click to vote

FPL
2006
Springer

147views Hardware» more FPL 2006»

Efficient Automated Synthesis, Programing, and Implementation of Multi-Processor Platforms on FPGA Chips

14 years 11 days ago

Download www.liacs.nl

Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...

Hristo Nikolov, Todor Stefanov, Ed F. Deprettere

claim paper

Read More »

click to vote

COMPSAC
2007
IEEE

95views Software Engineering» more COMPSAC 2007»

Iterative Planning in the Context of Automated Code Synthesis

13 years 10 months ago

Download www.emu.edu.tr

Jicheng Fu, Farokh B. Bastani, I-Ling Yen

claim paper

Read More »

click to vote

ISCAICIS
2000

245views Artificial Intelligence» more ISCAICIS 2000»

Demonstration of an Automated Control Synthesis Tool for Manufacturing

13 years 10 months ago

Download www-personal.umich.edu

Praveen Yasarapu, Lawrence E. Holloway

claim paper

Read More »

click to vote

CADE
2010
Springer

251views Logical Reasoning» more CADE 2010»

Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion

13 years 9 months ago

Download www.mais.informatik.tu-darmstadt.de

In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...

Markus Aderhold

claim paper

Read More »

click to vote

CGA
2005

116views Computational Geometry» more CGA 2005»

Automated Eye Motion Using Texture Synthesis

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers