2482 search results - page 183 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
112
Voted
IFIP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
124
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
139
click to vote
C5
2004
IEEE
15 years 6 months ago
2004
IEEE
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
136
click to vote
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper addresses the application of active contours or snakes for location and tracking of facial features. Conventional snake approaches find the position of the snake by fin...
197
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...