2838 search results - page 148 / 568 » Verifying Controlled Components |
200
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
127
Voted
APLAS
2010
ACM
15 years 29 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
76
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
The decomposition of an image into its primitive components, such as cartoon plus texture, is a fundamental problem in image processing. In [11, 16], the authors proposed a techni...
85
Voted
ESAW
2000
Springer
15 years 4 months ago
2000
Springer
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
VLSID
2005
IEEE
16 years 1 months ago
2005
IEEE
Designing NoC-based systems has become increasingly complex with support for multiple functionalities. Decisions regarding interconnections between the heterogeneous system compon...