2513 search results - page 333 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
83
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
105
Voted
COMGEO
2007
ACM
15 years 20 days ago
2007
ACM
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
122
Voted
EWC
2007
15 years 19 days ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conï¬...
110
click to vote
DSL
2009
14 years 10 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
108
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...