8587 search results - page 351 / 1718 » Interactive dynamic abstraction |
296
Voted
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
140
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Dynamic OFDMA systems provide a significant performance gain compared to static OFDM approaches. In reality this gain is reduced by an overhead due to signaling. Previ...
150
click to vote
ECAL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We quantify the local information dynamics at each spatiotemporal point in a complex system in terms of each element of computation: information storage, transfer and mod...
186
click to vote
SG
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Multi-modal capabilities can be added to a simulation system in order to enhance data comprehension. We describe a system for adding sonification capabilities to a real-...
165
click to vote
FCCM
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract: Molecular Dynamics (MD) is of central importance to computational chemistry and its myriad applications. Here we show that, at even a preliminary stage of development, MD...