431 search results - page 52 / 87 » Abstract Data Types in Computer Algebra |
125
click to vote
HOPL
2007
15 years 6 months ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
128
Voted
CONCUR
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
100
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
106
Voted
ICCPOL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Telugu is the third most spoken language in India and one of the fifteen most spoken languages in the world. But, there is no standardized input method for Telugu, which ...