Sciweavers

2610 search results - page 206 / 522
» codes 2007
Sort
View
JUCS
2007
75views more  JUCS 2007»
15 years 4 months ago
RE-AspectLua - Achieving Reuse in AspectLua
: AspectLua is a Lua-based dynamic aspect-oriented language that follows the original AspectJ concepts. It suffers from the same problem of AspectJ-like languages with regard to li...
Thaís Vasconcelos Batista, Maurício ...
DSD
2007
IEEE
119views Hardware» more  DSD 2007»
15 years 10 months ago
Online Protocol Testing for FPGA Based Fault Tolerant Systems
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
Jiri Tobola, Zdenek Kotásek, Jan Korenek, T...
ML
2007
ACM
130views Machine Learning» more  ML 2007»
15 years 4 months ago
A note on Platt's probabilistic outputs for support vector machines
Platt’s probabilistic outputs for Support Vector Machines (Platt, 2000) has been popular for applications that require posterior class probabilities. In this note, we propose an ...
Hsuan-Tien Lin, Chih-Jen Lin, Ruby C. Weng
SE
2007
15 years 5 months ago
A Case Study on Model-Driven and Conventional Software Development: The palladio editor
: The actual benefits of model-driven approaches compared to code-centric development have not been systematically investigated. This paper presents a case study in which function...
Klaus Krogmann, Steffen Becker
DAGSTUHL
2006
15 years 5 months ago
Binary Lambda Calculus and Combinatory Logic
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
John Tromp