skip to main content
Show Results with:

Results 1 - 10 of 384  for Explore Further

results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Building an obfuscation compiler based on LLVM infrastructure

Труды Института системного программирования РАН [Peer Reviewed Journal]

Full text available

2
Material Type:
Article
Add to My workspace

A proposal for loop-transformation pragmas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, Vol.11128, pp.37-52 [Peer Reviewed Journal]

No full-text

View all versions
3
Material Type:
Article
Add to My workspace

Description of the approach to development of the obfuscating compiler

Труды Института системного программирования РАН [Peer Reviewed Journal]

Full text available

4
Material Type:
Conference Proceeding
Add to My workspace

Trade-offs in automatic provenance capture

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9672, pp.29-41 [Peer Reviewed Journal]

No full-text

5
Material Type:
Conference Proceeding
Add to My workspace

Towards vulnerability discovery using staged program analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9721, pp.78-97 [Peer Reviewed Journal]

No full-text

6
Material Type:
Conference Proceeding
Add to My workspace

Formalizing the SAFECode type system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, Vol.8307, pp.211-226 [Peer Reviewed Journal]

No full-text

7
Material Type:
Conference Proceeding
Add to My workspace

Towards a certified Petri net model-checker

9th Asian Symposiium on Programming Languages and Systems (APLAS 2011), 2012, Vol.7078, pp.322--336 [Peer Reviewed Journal]

No full-text

View all versions
8
Material Type:
Conference Proceeding
Add to My workspace

An improved FPGAs-based loop pipeline scheduling algorithm for reconfigurable compiler

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, Vol.8299, pp.307-318 [Peer Reviewed Journal]

No full-text

9
Cluster Programming using the OpenMP Accelerator Model
Material Type:
Article
Add to My workspace

Cluster Programming using the OpenMP Accelerator Model

Acm Transactions On Architecture And Code Optimization, 2018 Oct, Vol.15(3) [Peer Reviewed Journal]

No full-text

View all versions
10
Material Type:
Conference Proceeding
Add to My workspace

Compiler-assisted selection of a software transactional memory system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, Vol.6566, pp.147-157 [Peer Reviewed Journal]

No full-text

Results 1 - 10 of 384  for Explore Further

results 1 2 3 4 5 next page

Refine Search Results

Creation date 

From To
  1. Before2009  (2)
  2. 2009To2010  (16)
  3. 2011To2012  (37)
  4. 2013To2015  (96)
  5. After 2015  (228)
  6. Refine further open sub menu

Language 

  1. English  (310)
  2. French  (3)
  3. Japanese  (2)
  4. Spanish  (1)
  5. Korean  (1)
  6. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Giuffrida, Cristiano
  2. van Der Kouwe, Erik
  3. Bos, Herbert
  4. Kruse, Michael
  5. Kroes, Taddeus

Searching Remote Databases, Please Wait