Sciweavers

1901 search results - page 47 / 381
» Predicting Program Properties from
Sort
View
ISCA
2005
IEEE
113views Hardware» more  ISCA 2005»
15 years 4 months ago
Piecewise Linear Branch Prediction
Improved branch prediction accuracy is essential to sustaining instruction throughput with today’s deep pipelines. We introduce piecewise linear branch prediction, an idealized ...
Daniel A. Jiménez
DEXAW
2003
IEEE
106views Database» more  DEXAW 2003»
15 years 4 months ago
How to Program Pervasive Systems
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
Andry Rakotonirainy
CORR
2008
Springer
72views Education» more  CORR 2008»
14 years 11 months ago
Inferring Company Structure from Limited Available Information
: In this paper we present several algorithmic techniques for inferring the structure of a company when only a limited amount of information is available. We consider problems with...
Mugurel Ionut Andreica, Angela Andreica, Romulus A...
BMCBI
2006
165views more  BMCBI 2006»
14 years 11 months ago
Improving the quality of protein structure models by selecting from alignment alternatives
Background: In the area of protein structure prediction, recently a lot of effort has gone into the development of Model Quality Assessment Programs (MQAPs). MQAPs distinguish hig...
Ingolf Sommer, Stefano Toppo, Oliver Sander, Thoma...
ISMIS
1994
Springer
15 years 3 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...