564 search results - page 64 / 113 » Generating Test Data for Functions with Pointer Inputs |
139
click to vote
ISAAC
1995
Springer
15 years 6 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
148
click to vote
JCIT
2008
15 years 3 months ago
2008
The main objective of design methodology of a controller for forecasting cardiac arrest using fuzzy logic approach is to provide the prediction of period of life time for the pati...
146
click to vote
SAT
2009
Springer
15 years 9 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
121
click to vote
BIBE
2008
IEEE
15 years 9 months ago
2008
IEEE
—Following the technological advances that have enabled genome-wide analysis in most model organisms over the last ten years, there has been unprecedented growth in genome and po...
108
click to vote
IGARSS
2010
15 years 1 months ago
2010
The Level 1 Processing of SMOS transforms the data acquired by MIRAS (Microwave Imaging Radiometer with Aperture Synthesis) into geolocated TOA Brightness Temperatures, providing ...