3555 search results - page 311 / 711 » Security-Critical System Development with Extended Use Cases |
187
click to vote
TCAD
1998
15 years 6 months ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
213
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
Dense 3D reconstruction of extremely fast moving objects could contribute to various applications such as body structure analysis and accident avoidance and so on. The actual case...
172
Voted
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
We proposean approachfor modeling surfacedetails such as scales, feathers, or thorns. These types of cellular textures require a representation with more detail than texture-mappi...
172
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
166
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...