Skip to search formSkip to main contentSkip to account menu

CAPSL gene

Known as: CAPSL, MGC26610, calcyphosine like 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The Case for CAPSL: Architectural Solutions to Licensing and Distribution in Emerging Music Markets
Compulsory licensing in music has paved the way for a limited class of new noninteractive services. However, innovation and… 
2011
2011
Computer Architecture and Parallel Systems Laboratory High Throughput Queue Algorithms
Advanced many-core CPU chips already have few hundreds of processing cores (e.g. 160 cores in an IBM Cyclops-64 chip) and as… 
2010
2010
Design and Integration of New Architecture Features into a Many-Core Chip Architecture - A Report on a Novel Architecture/Software Co-Verification Platform
Historically, design and integration of a new architectural feature requires time consuming full system verification/validation… 
2009
2009
Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols
We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language… 
2007
2007
Computer Architecture and Parallel Systems Laboratory FAME : Financial Application with Many-core-ona-chip architecturE
Research in financial derivatives is one of the important are as in computational finance. The computational requirements for… 
2005
2005
Dynamic Optimization by Relocation of Data
Thanks I would like to take the time to thank Professor Gao and Professor Clauss, both of them made this trip possible. I learnt… 
2004
2004
Designing a Group Protocol Specification Language
Formal methods such as model checking can be applied to gain design assurance in the security of cryptographic group management… 
2001
2001
Cryptographic protocol generation from capsl
1997
1997
Languages for Formal Specification of Security Protocols
In the last year or so, research in the formal analysis of cryptographic protocols has matured to the point where researchers are… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)