11455 search results - page 354 / 2291 » The Rayset and Its Applications |
162
click to vote
VIS
2005
IEEE
16 years 8 months ago
2005
IEEE
VisIt is a richly featured visualization tool that is used to visualize some of the largest simulations ever run. The scale of these simulations requires that optimizations are in...
161
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
194
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
183
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Active applications can add value to communication. Yet it involves sophisticated domain knowledge and complex development process. In this paper we discuss a framework for the co...
195
click to vote
CONCURRENCY
2010
15 years 5 months ago
2010
SCALASCA is a performance toolset that has been specifically designed to analyze parallel application execution behavior on large-scale systems. It offers an incremental performan...