Sciweavers

4139 search results - page 25 / 828
» Designing and Implementing Combinator Languages
Sort
View
DATE
2004
IEEE
149views Hardware» more  DATE 2004»
14 years 1 months ago
A Logic Level Design Methodology for a Secure DPA Resistant ASIC or FPGA Implementation
This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...
Kris Tiri, Ingrid Verbauwhede
JCP
2008
174views more  JCP 2008»
13 years 9 months ago
Design and Implementation of Spatial Data Mining System (M-SDM) based on MATLAB
Taking the design of data analyzing software for imaging brain function -- SPM (Statistical Parameters Mapping) for reference, this study combined MATLAB, GIS and SDM organically, ...
Lu Zhao, Xinqi Zheng, Shuqing Wang
ICFP
2005
ACM
14 years 9 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
JOOP
1998
98views more  JOOP 1998»
13 years 9 months ago
Design Patterns as Language Constructs
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
Jan Bosch
HICSS
2007
IEEE
126views Biometrics» more  HICSS 2007»
13 years 11 months ago
Model Driven Design and Implementation of Statistical Surveys
We describe the evolution of a statistical survey design visual language from a standalone design-time modelling language into an environment supporting design, coordination, exec...
Chul Hwee Kim, John G. Hosking, John C. Grundy