IFIP 2001 - PDF Preprint Papers

IFIP 2001 International Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed IFIP-2001 Paper

click to vote

IFIP
2001
Springer

195views Programming Languages» more IFIP 2001»

Functional Test Generation using Constraint Logic Programming

13 years 9 months ago

Download www.ecs.umass.edu

— Semi-formal veriﬁcation based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...

Zhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	195	Functional Test Generation using Constraint Logic Programming	claim
2	182	Better Safe than Sorry? In Search of an Internet Business Model in Online Entertainment	claim
3	143	The Phenomenon of Diffusion	claim
4	131	An Evolutionary Approach for Pareto-optimal Configurations in SOC Platforms	claim
5	130	A New Efficient VLSI Architecture for Full Search Block Matching Motion Estimation	claim
6	113	Security Documentation	claim
7	107	Towards a Semiotic Communications Quality Model	claim
8	107	Cultivating Recalcitrance in Information Systems Research	claim
9	103	Defining Away the Digital Divide: A Content Analysis of Institutional Influences on Popular Representations of Technology	claim
10	101	Random Adjacent Sequences: An Efficient Solution for Logic BIST	claim
11	100	Translation, Betrayal and Ambiguity in IS Development	claim
12	97	Semiotics and Intelligent Control	claim
13	97	Systemic Functional Hypertexts (SFHT):	claim
14	92	Data, Information, and Knowledge	claim
15	91	A Standardized Co-simulation Backbone	claim
16	78	Reliable Multicast in Mobile Networks	claim
17	77	Effect of Delays on TCP Performance	claim
18	73	Security Vulnerabilities and System Intrusions - The Need for Automatic Response Frameworks	claim
19	68	Transaction Based Risk Analysis - Using Cognitive Fuzzy Techniques	claim
20	66	Levels of Abstraction in Maritime Maneuvering Operations	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers