12774 search results - page 2383 / 2555 » A Framework for Proof Systems |
220
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
Online news reading has become very popular as the web provides access to news articles from millions of sources around the world. A key challenge of news websites is to help user...
164
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
The Web of Data has emerged as a way of exposing structured linked data on the Web. It builds on the central building blocks of the Web (URIs, HTTP) and benefits from its simplic...
173
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
173
click to vote
ISPASS
2009
IEEE
2009
IEEE
Machine learning based online performance prediction for runtime parallelization and task scheduling
16 years 1 months ago
—With the emerging many-core paradigm, parallel programming must extend beyond its traditional realm of scientific applications. Converting existing sequential applications as w...
205
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...