2278 search results - page 301 / 456 » Specification Techniques for Automatic Performance Analysis ... |
164
click to vote
CBMS
2006
IEEE
15 years 8 months ago
2006
IEEE
Advances in medical image analysis have increased the need to integrate and deploy image analysis software in daily clinical routine and in epidemiological studies. We developed a...
127
click to vote
ICNP
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
138
Voted
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Circuits using nano-meter technologies are becoming increasingly vulnerable to signal interference from multiple noise sources as well as radiation-induced soft errors. One way to...
150
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
126
click to vote
MMMACNS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...