8874 search results - page 35 / 1775 » A New Implementation of Automath |
NSF
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. We argue that the needs of many classes of modern applications, especially those targeted at mobile or wireless computing, demand the services of content-based publish/su...
SIGCSE
2008
ACM
13 years 11 months ago
2008
ACM
The annual ACM International Collegiate Programming Contest produces a competitive paradigm that is at odds with the pedagogical goals of modern computer science and software engi...
IPPS
2000
IEEE
14 years 3 months ago
2000
IEEE
Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variab...
DAMON
2009
Springer
14 years 5 months ago
2009
Springer
Database engines face growing scalability challenges as core counts exponentially increase each processor generation, and the efficiency of synchronization primitives used to prot...
EGOV
2003
Springer
14 years 4 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...