469 search results - page 27 / 94 » Enabling RTR for industry |
APN
2006
Springer
14 years 6 days ago
2006
Springer
Abstract. This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an e...
SPLC
2010
13 years 10 months ago
2010
Abstract. FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
Most of the content available on the Web today is not suitable for Wireless devices such as mobile phones or PDAs, which are characterized by small sized display, small memory, lo...
ISSS
1997
IEEE
14 years 20 days ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
AHS
2006
IEEE
14 years 6 days ago
2006
IEEE
Sharing Intellectual Property (IP) blocks in today's competitive market poses significant high security risks. In this paper, we present a tutorial for a watermarking approach...