883 search results - page 97 / 177 » The RETOS operating system: kernel, tools and applications |
APLAS
2007
ACM
15 years 2 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
HPCA
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper describes PRISM, a distributed sharedmemory architecture that relies on a tightly integrated hardware and operating system design for scalable and reliable performance....
102
click to vote
COLING
2010
14 years 5 months ago
2010
The system presented is a web application designed to aid linguistic research with data collection and online publishing. It is a service mainly for linguists and language experts...
IISWC
2009
IEEE
15 years 4 months ago
2009
IEEE
—In the era of multi-core, computer vision has emerged as an exciting application area which promises to continue to drive the demand for both more powerful and more energy effi...
158
click to vote
HPDC
2011
IEEE
14 years 1 months ago
2011
IEEE
Cloud computing systems are becoming an important platform for science applications. Infrastructure as a Service (IaaS) clouds provide the capability to provision virtual machines...