215 search results - page 20 / 43 » Toward Verified Execution Environments |
IJBRA
2007
13 years 7 months ago
2007
: The model for protein folding (in silico) simulation is presented. Three steps have been implemented: • early stage folding based on the backbone conformation • hydrophobic c...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
The overwhelming flow of information in many data stream applications forces many companies to outsource to a third-party the deployment of a Data Stream Management System (DSMS) f...
FPL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we propose a first step towards a time predictable computer architecture for single-chip multiprocessing (CMP). CMP is the actual trend in server and desktop syste...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Timeliness in conventional real-time systems is addressed by employing well-known scheduling techniques that guarantee the execution of a number of tasks within certain deadlines. ...
ICS
2000
Tsinghua U.
13 years 11 months ago
2000
Tsinghua U.
Scheduling of processes onto processors of a parallel machine has always been an important and challenging area of research. The issue becomes even more crucial and di cult as we ...