Sciweavers

942 search results - page 34 / 189
» From System Comprehension to Program Comprehension
Sort
View
PLDI
1999
ACM
14 years 29 days ago
Enhanced Code Compression for Embedded RISC Processors
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...
Keith D. Cooper, Nathaniel McIntosh
IJET
2007
121views more  IJET 2007»
13 years 8 months ago
A Technology Based Program That Matches Enrichment Resources With Student Strengths
Remarkable advances in instructional communication technology (ICT) have now made is possible to provide high levels of enrichment and the kinds of curricular differentiation that...
Joseph S. Renzulli, Sally M. Reis
ICWL
2007
Springer
14 years 2 months ago
The ELEKTRA Ontology Model: A Learner-Centered Approach to Resource Description
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
Michael D. Kickmeier-Rust, Dietrich Albert

Book
262views
15 years 4 months ago
Processing XML with Java
"This is the most comprehensive and up-to-date book about integrating XML with Java. It contains over 1000 pages of detailed information on SAX, DOM, JDOM, JAXP, TrAX, XPath, ...
Elliotte Rusty Harold
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
14 years 3 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery