Sciweavers

4702 search results - page 85 / 941
» How to Copyright a Function
Sort
View
120
Voted
INFORMATICALT
1998
145views more  INFORMATICALT 1998»
15 years 9 days ago
Design of Reusable VHDL Component Using External Functions
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
Vytautas Stuikys
86
Voted
CMPB
2008
63views more  CMPB 2008»
14 years 11 months ago
SAS and R functions to compute pseudo-values for censored data regression
Recently, in a series of papers, a method based on pseudo-values has been proposed for direct regression modeling of the survival function, the restricted mean and cumulative inci...
John P. Klein, Mette Gerster, Per Kragh Andersen, ...
LPAR
2010
Springer
14 years 10 months ago
Dafny: An Automatic Program Verifier for Functional Correctness
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
K. Rustan M. Leino
93
Voted
AMOST
2005
ACM
15 years 6 months ago
Using information about functions in selecting test cases
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
Markus Clermont, David Lorge Parnas
FPL
2009
Springer
105views Hardware» more  FPL 2009»
15 years 5 months ago
Improving the quality of a Physical Unclonable Function using configurable Ring Oscillators
A silicon Physical Unclonable Function (PUF), which is a die-unique challenge-response function, is an emerging hardware primitive for secure applications. It exploits manufacturi...
Abhranil Maiti, Patrick Schaumont