Sciweavers

1843 search results - page 307 / 369
» Securing Class Initialization
Sort
View
SIGMETRICS
1998
ACM
15 years 5 months ago
Scheduling Policies to Support Distributed 3D Multimedia Applications
We consider the problem of scheduling tasks with unpredictable service times on distinct processing nodes so as to meet a real-time deadline, given that all communication among no...
Thu D. Nguyen, John Zahorjan
158
Voted
DISCO
1993
156views Hardware» more  DISCO 1993»
15 years 4 months ago
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
Peter Fritzson, Vadim Engelson, Lars Viklund
143
Voted
AMAI
2007
Springer
15 years 27 days ago
Relational concept discovery in structured datasets
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...
Marianne Huchard, Mohamed Rouane Hacene, Cyril Rou...
81
Voted
APAL
2010
115views more  APAL 2010»
15 years 27 days ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev
BMCBI
2008
146views more  BMCBI 2008»
15 years 26 days ago
Can molecular dynamics simulations help in discriminating correct from erroneous protein 3D models?
Background: Recent approaches for predicting the three-dimensional (3D) structure of proteins such as de novo or fold recognition methods mostly rely on simplified energy potentia...
Jean-François Taly, Antoine Marin, Jean-Fra...