Sciweavers

4139 search results - page 25 / 828
» Designing and Implementing Combinator Languages
Sort
View
92
Voted
DATE
2004
IEEE
149views Hardware» more  DATE 2004»
15 years 4 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
118
Voted
JCP
2008
174views more  JCP 2008»
15 years 14 days 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
16 years 14 days 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
142
Voted
JOOP
1998
98views more  JOOP 1998»
15 years 5 days 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
112
Voted
HICSS
2007
IEEE
126views Biometrics» more  HICSS 2007»
15 years 2 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