Sciweavers

4190 search results - page 3 / 838
» Type Class Directives
Sort
View
DATE
2007
IEEE
155views Hardware» more  DATE 2007»
14 years 3 days ago
Design fault directed test generation for microprocessor validation
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V...
APLAS
2006
ACM
13 years 11 months ago
Principal Type Inference for GHC-Style Multi-parameter Type Classes
Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
PHOENIX
1991
13 years 9 months ago
Type Classes are Signatures of Abstract Types
Konstantin Läufer, Martin Odersky
CORR
2011
Springer
167views Education» more  CORR 2011»
13 years 24 days ago
Type Classes for Mathematics in Type Theory
Bas Spitters, Eelis van der Weegen
AMC
2006
88views more  AMC 2006»
13 years 5 months ago
Invariant solutions of certain nonlinear evolution type equations with small parameters
The Fisher equation, which arises in the study of reaction diffusion waves in biology, does not display a high level of symmetry properties. Consequently, only travelling wave sol...
Ashfaque H. Bokhari, Abdul Hamid Kara, F. D. Zaman