12373 search results - page 2380 / 2475 » Semi-Logarithmic Number Systems |
ECTEL
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Teachers know their students because they interact with them face-to...
GECCO
2006
Springer
14 years 18 days ago
2006
Springer
The effects of neutrality on evolutionary search have been considered in a number of interesting studies, the results of which, however, have been contradictory. Some researchers ...
CHARME
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
ICSE
2000
IEEE-ACM
14 years 16 days ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
ADBIS
1995
Springer
14 years 16 days ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...