Sciweavers

1054 search results - page 114 / 211
» Guarded Expressions in Practice
Sort
View
ISJ
2002
71views more  ISJ 2002»
15 years 5 months ago
Educating reflective systems developers
Systems development research shows that practitioners seldom follow methods and that the competencies required for successful development of computer-based systems go well beyond t...
Lars Mathiassen, Sandeep Purao
ET
2007
57views more  ET 2007»
15 years 5 months ago
Oscillation Test Scheme of SC Biquad Filters Based on Internal Reconfiguration
In this paper, we explore general conditions for the oscillation based test of switched-capacitor biquad filter stages. Expressions describing the characteristics of a filter stage...
Uros Kac, Franc Novak
TPLP
2010
135views more  TPLP 2010»
15 years 4 months ago
Formalization of psychological knowledge in answer set programming and its application
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
Marcello Balduccini, Sara Girotto
IPPS
2010
IEEE
15 years 4 months ago
An auto-tuning framework for parallel multicore stencil computations
Although stencil auto-tuning has shown tremendous potential in effectively utilizing architectural resources, it has hitherto been limited to single kernel instantiations; in addi...
Shoaib Kamil, Cy Chan, Leonid Oliker, John Shalf, ...
GI
2009
Springer
15 years 3 months ago
Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts
: ConnectIT uses a graphical representation to express strategies for playing the connect-four game. With this tool we can transfer complex knowledge about the connect-four game it...
Sven Jörges, Marco Bakera, Tiziana Margaria, ...