6299 search results - page 918 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
164
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
ion of Representation in Live Theater PPPPETERETERETERETER TTTTORPEYORPEYORPEYORPEY Opera of the Future, MIT Media Lab Disembodied Performance presents a new way to think about exp...
195
click to vote
CIBCB
2007
IEEE
16 years 1 months 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 ...
193
click to vote
EMSOFT
2007
Springer
16 years 28 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
146
click to vote
CCGRID
2005
IEEE
16 years 11 days ago
2005
IEEE
Simple resource specification, resource selection, and effective binding are critical capabilities for Grid middleware. We the Virtual Grid, an abstraction for dynamic grid applic...
192
click to vote
SPIN
2004
Springer
16 years 3 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...