1146 search results - page 170 / 230 » Applications of the TAMPR Transformation System |
155
click to vote
TLCA
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
183
click to vote
ICPPW
2006
IEEE
16 years 1 days ago
2006
IEEE
Embedded computing architectures can be designed to meet a variety of application specific requirements. However, optimized hardware can require compiler support to realize the po...
161
click to vote
ARITH
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Modular reduction is a fundamental operation in cryptographic systems. Most well known modular reduction methods including Barrett’s and Montgomery’s algorithms lev...
165
click to vote
ICDM
2005
IEEE
15 years 11 months ago
2005
IEEE
Record linkage is the process of determining that two records refer to the same entity. A key subprocess is evaluating how well the individual fields, or attributes, of the recor...
155
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...