skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 24,547  for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
Results 1 2 3 4 5 next page
Show only
Refined by: Database: Hyper Article en Ligne (HAL) (Open Access) remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems
A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems
Material Type:
Conference Proceeding 		Add to My Research

A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/1988008.1988020

Digital Resources/Online E-Resources

Citations Cited by
2
Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms
Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms
Material Type:
Conference Proceeding 		Add to My Research

Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3404397.3404419

Digital Resources/Online E-Resources

Citations Cited by
3
Lazy product discovery in huge configuration spaces
Lazy product discovery in huge configuration spaces
Material Type:
Conference Proceeding 		Add to My Research

Lazy product discovery in huge configuration spaces

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3377811.3380372

Digital Resources/Online E-Resources

Citations Cited by
4
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)
Material Type:
Book 		Add to My Research

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)

Attribution ;DOI: 10.1145/3460946

Digital Resources/Online E-Resources

Citations Cited by
5
Flash-Cosmos: In-Flash Bulk Bitwise Operations Using Inherent Computation Capability of NAND Flash Memory
Flash-Cosmos: In-Flash Bulk Bitwise Operations Using Inherent Computation Capability of NAND Flash Memory
Material Type:
Conference Proceeding 		Add to My Research

Flash-Cosmos: In-Flash Bulk Bitwise Operations Using Inherent Computation Capability of NAND Flash Memory

Attribution ;DOI: 10.1109/MICRO56248.2022.00069

Digital Resources/Online E-Resources

Citations Cited by
6
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches
Material Type:
Conference Proceeding 		Add to My Research

Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/2591062.2591114

Digital Resources/Online E-Resources

Citations Cited by
7
Automatic Storage Optimization for Arrays
Automatic Storage Optimization for Arrays
Material Type:
Article 		Add to My Research

Automatic Storage Optimization for Arrays

ACM transactions on programming languages and systems, 2016-05, Vol.38, p.1-23 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0164-0925 ;EISSN: 1558-4593 ;DOI: 10.1145/2845078

Digital Resources/Online E-Resources

Citations Cited by
8
Symbolic Model Checking of Software Product Lines
Symbolic Model Checking of Software Product Lines
Material Type:
Conference Proceeding 		Add to My Research

Symbolic Model Checking of Software Product Lines

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/1985793.1985838

Digital Resources/Online E-Resources

Citations Cited by
9
Interferences between Communications and Computations in Distributed HPC Systems
Interferences between Communications and Computations in Distributed HPC Systems
Material Type:
Conference Proceeding 		Add to My Research

Interferences between Communications and Computations in Distributed HPC Systems

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3472456.3473516

Digital Resources/Online E-Resources

Citations Cited by
10
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
Material Type:
Conference Proceeding 		Add to My Research

The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3324884.3416635

Digital Resources/Online E-Resources

Citations Cited by
11
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Material Type:
Article 		Add to My Research

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

IEEE transactions on software engineering, 2017, Vol.43 (1), p.34-55 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0098-5589 ;DOI: 10.1109/TSE.2016.2560811

Digital Resources/Online E-Resources

Citations Cited by
12
Preliminary Steps Towards Modeling Blockchain Oriented Software
Preliminary Steps Towards Modeling Blockchain Oriented Software
Material Type:
Conference Proceeding 		Add to My Research

Preliminary Steps Towards Modeling Blockchain Oriented Software

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3194113.3194123

Digital Resources/Online E-Resources

Citations Cited by
13
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
Material Type:
Book 		Add to My Research

Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Attribution ;ISBN: 3030781410 ;ISBN: 9783030781415 ;DOI: 10.1007/978-3-030-78142-2

Digital Resources/Online E-Resources

Citations Cited by
14
Live Deduplication Storage of Virtual Machine Images in an Open-Source Cloud
Live Deduplication Storage of Virtual Machine Images in an Open-Source Cloud
Material Type:
Conference Proceeding 		Add to My Research

Live Deduplication Storage of Virtual Machine Images in an Open-Source Cloud

Lecture Notes in Computer Science, 2011, Vol.LNCS-7049, p.81-100 [Peer Reviewed Journal]

Attribution ;DOI: 10.1007/978-3-642-25821-3_5

Digital Resources/Online E-Resources

Citations Cited by
15
Mining software repair models for reasoning on the search space of automated program fixing
Mining software repair models for reasoning on the search space of automated program fixing
Material Type:
Article 		Add to My Research

Mining software repair models for reasoning on the search space of automated program fixing

Empirical software engineering : an international journal, 2015-02, Vol.20 (1), p.176-205 [Peer Reviewed Journal]

Springer Science+Business Media New York 2013 ;Springer Science+Business Media New York 2013. ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1382-3256 ;EISSN: 1573-7616 ;DOI: 10.1007/s10664-013-9282-8

Full text available

Citations Cited by
16
Global EDF scheduling of directed acyclic graphs on multiprocessor systems
Global EDF scheduling of directed acyclic graphs on multiprocessor systems
Material Type:
Conference Proceeding 		Add to My Research

Global EDF scheduling of directed acyclic graphs on multiprocessor systems

Proceedings of the 21st International conference on Real-Time Networks and Systems, 2013, p.287-297

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/2516821.2516836

Digital Resources/Online E-Resources

Citations Cited by
17
Formal Verification of Smart Contracts: Short Paper
Formal Verification of Smart Contracts: Short Paper
Material Type:
Conference Proceeding 		Add to My Research

Formal Verification of Smart Contracts: Short Paper

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/2993600.2993611

Digital Resources/Online E-Resources

Citations Cited by
18
Software Architecture Reconstruction: A Process-Oriented Taxonomy
Software Architecture Reconstruction: A Process-Oriented Taxonomy
Material Type:
Article 		Add to My Research

Software Architecture Reconstruction: A Process-Oriented Taxonomy

IEEE transactions on software engineering, 2009-07, Vol.35 (4), p.573-591 [Peer Reviewed Journal]

Copyright IEEE Computer Society Jul 2009 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/TSE.2009.19 ;CODEN: IESEDJ

Full text available

Citations Cited by
19
A Collaborative Strategy for mitigating Tracking through Browser Fingerprinting
A Collaborative Strategy for mitigating Tracking through Browser Fingerprinting
Material Type:
Conference Proceeding 		Add to My Research

A Collaborative Strategy for mitigating Tracking through Browser Fingerprinting

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3338468.3356828

Digital Resources/Online E-Resources

Citations Cited by
20
Analysis of Early Science observations with the CHaracterising ExOPlanets Satellite (CHEOPS) using pycheops
Analysis of Early Science observations with the CHaracterising ExOPlanets Satellite (CHEOPS) using pycheops
Material Type:
Article 		Add to My Research

Analysis of Early Science observations with the CHaracterising ExOPlanets Satellite (CHEOPS) using pycheops

Monthly notices of the Royal Astronomical Society, 2022, Vol.514 (1), p.77 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0035-8711 ;ISSN: 1365-2966 ;EISSN: 1365-2966 ;DOI: 10.1093/mnras/stab3371

Digital Resources/Online E-Resources

Citations Cited by

Results 1 - 20 of 24,547  for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (14,782)

Refine My Results

Creation Date 

From To
Refine
  1. Before 1975  (18)
  2. 1975 To 1988  (38)
  3. 1989 To 2000  (353)
  4. 2001 To 2013  (8,227)
  5. After 2013  (14,900)
  6. More options open sub menu

Resource Type 

  1. Articles  (11,908)
  2. Conference Proceedings  (9,758)
  3. Book Chapters  (1,155)
  4. Thesises (postgraduate)  (864)
  5. Reports  (467)
  6. magazinearticle  (127)
  7. Text Resources  (106)
  8. Books  (80)
  9. Images  (80)
  10. Videos  (1)
  11. Datasets  (1)
  12. More options open sub menu

Language 

  1. English  (23,445)
  2. Japanese  (1,649)
  3. French  (1,114)
  4. German  (143)
  5. Norwegian  (19)
  6. Spanish  (13)
  7. Portuguese  (10)
  8. Italian  (3)
  9. Czech  (3)
  10. Ukrainian  (2)
  11. Chinese  (2)
  12. Polish  (1)
  13. Russian  (1)
  14. Dutch  (1)
  15. More options open sub menu
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait