4126 search results - page 635 / 826 » Set based logic programming |
121
click to vote
IWMM
2009
Springer
15 years 9 months ago
2009
Springer
Good spatial locality alleviates both the latency and bandwidth problem of memory by boosting the effect of prefetching and improving the utilization of cache. However, convention...
125
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
130
Voted
SIGADA
2004
Springer
15 years 8 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
108
click to vote
SIGCSE
2003
ACM
15 years 8 months ago
2003
ACM
We report the results of a year-long experiment in the use of robots to teach computer science. Our data set compares results from over 800 students on identical tests from both r...
141
click to vote
ECOOP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...