8132 search results - page 1362 / 1627 » Dependability, Abstraction, and Programming |
155
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Helios is an operating system designed to simplify the task of writing, deploying, and tuning applications for heterogeneous platforms. Helios introduces satellite kernels, which ...
169
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...
192
click to vote
CIBCB
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
219
click to vote
CMSB
2007
Springer
16 years 23 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
170
click to vote
ECSQARU
2007
Springer
16 years 23 days ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...