3346 search results - page 375 / 670 » A Generic Rendering System |
158
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents the performance improvements and the energy reductions by coupling a highperformance coarse-grained reconfigurable data-path with a microprocessor in a generic...
165
click to vote
TPHOL
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
183
click to vote
AIED
2007
Springer
16 years 27 days ago
2007
Springer
This paper describes an approach to support practitioners in the analysis of computer-supported learning processes by utilizing logfiles of learners’ actions captured by the sys...
162
click to vote
MKM
2007
Springer
16 years 25 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
115
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
The design of future communication systems with high throughput demands will become a critical task, especially when sophisticated channel coding schemes have to be applied. LDPC ...