1746 search results - page 245 / 350 » A Constructive Semantics for ALC |
131
Voted
IANDC
2010
14 years 10 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
90
Voted
CAP
2010
14 years 7 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
102
Voted
JDCTA
2010
14 years 7 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
103
Voted
PROCEDIA
2010
14 years 7 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
118
Voted
TCS
2010
14 years 7 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...