6862 search results - page 1328 / 1373 » Modeling Parallel Applications Performance on Heterogeneous ... |
WCE
2007
15 years 29 days ago
2007
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
102
click to vote
ENTCS
2008
14 years 12 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
IEE
2007
14 years 11 months ago
2007
Because of the increasingly diverse and dynamic environments in which they must operate, modern middleware platforms need to explicitly support modifiability. Modifiability should...
110
click to vote
TITB
2002
14 years 11 months ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
127
click to vote
TSMC
2008
14 years 11 months ago
2008
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...