10072 search results - page 335 / 2015 » Composition of Model Programs |
184
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We have been using the concept map of the domain, enhanced with pedagogical concepts called learning objectives, as the overlay student model in our intelligent tutors for program...
174
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
162
click to vote
IEAAIE
2004
Springer
16 years 2 days ago
2004
Springer
This paper investigates the suitability of linear genetic programming (LGP) technique to model efficient intrusion detection systems, while comparing its performance with artificia...
147
click to vote
AC
2008
Springer
15 years 6 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
195
click to vote
MASCOTS
2001
15 years 8 months ago
2001
Recent increases in CPU performance have surpassed those in hard drives. As a result, disk operations have become more expensive in terms of the number of CPU cycles spent waiting...