4139 search results - page 382 / 828 » Designing and Implementing Combinator Languages |
197
Voted
DLOG
2009
15 years 5 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
241
click to vote
HASKELL
2009
ACM
16 years 2 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
226
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
To meet the conflicting goals of high-performance low-cost embedded systems, critical application loop nests are commonly executed on specialized hardware accelerators. These loop...
214
click to vote
AES
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
204
click to vote
WIKIS
2006
ACM
16 years 1 months ago
2006
ACM
This paper discusses the design and implementation of processes and tools to support the collaborative creation and maintenance of multilingual wiki content. A wiki is a website w...