skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục
Lọc theo: Cơ sở dữ liệu: HAL (CCSd) xóa Nhan đề tạp chí: ACM Computing Surveys xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Formal methods: state of the art and future directions

Clarke, Edmund ; Wing, Jeannette

ACM Computing Surveys (CSUR), 01 December 1996, Vol.28(4), pp.626-643 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/242223.242257

Toàn văn không sẵn có

Phiên bản sẵn có
2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Concurrency and Distribution in Object-Oriented Programming

Briot, Jean - Pierre ; Guerraoui, Rachid ; Lohr, Klaus - Peter

ACM Computing Surveys, Sept, 1998, Vol.30(3), p.291(1) [Tạp chí có phản biện]

ISSN: 0360-0300

Toàn văn không sẵn có

Phiên bản sẵn có
3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A survey on personalized TV and NGN services through context-awareness.(Author abstract)

Song, Songbo ; Moustafa, Hassnaa ; Afifi, Hossam

ACM Computing Surveys, Spring, 2012, Vol.44(1), p.4(18) [Tạp chí có phản biện]

ISSN: 0360-0300

Toàn văn không sẵn có

Phiên bản sẵn có
4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Architectures of flexible symmetric key crypto engines-a survey: From hardware coprocessor to multi-crypto-processor system on chip

Bossuet, Lilian ; Grand, Michael ; Gaspar, Lubos ; Fischer, Viktor ; Gogniat, Guy

ACM Computing Surveys (CSUR), 01 August 2013, Vol.45(4), pp.1-32 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/2501654.2501655

Toàn văn không sẵn có

Phiên bản sẵn có
5
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Synchronous programming in audio processing: A lookup table oscillator case study

Barkati, Karim ; Jouvelot, Pierre

ACM Computing Surveys (CSUR), 01 November 2013, Vol.46(2), pp.1-35 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/2543581.2543591

Toàn văn không sẵn có

Phiên bản sẵn có
6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Aggregated search: A new information retrieval paradigm

Kopliku, Arlind ; Pinel-Sauvagnat, Karen ; Boughanem, Mohand

ACM Computing Surveys (CSUR), 01 January 2014, Vol.46(3), pp.1-31 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/2523817

Toàn văn không sẵn có

Phiên bản sẵn có
7
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Cloud Computing: Survey on Energy Efficiency

Mastelic, Toni ; Oleksiak, Ariel ; Claussen, Holger ; Brandic, Ivona ; Pierson, Jean-Marc ; Vasilakos, Athanasios V

ACM Computing Surveys (CSUR), 08 January 2015, Vol.47(2), pp.1-36 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/2656204

Toàn văn không sẵn có

Phiên bản sẵn có
8
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond

Baudry, Benoit ; Monperrus, Martin

ACM Computing Surveys (CSUR), 29 September 2015, Vol.48(1), pp.1-26 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/2807593

Toàn văn không sẵn có

Phiên bản sẵn có
9
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Foundations of Session Types and Behavioural Contracts

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco ; Caires, Luís ; Carbone, Marco ; Deniélou, Pierre-Malo ; Mostrous, Dimitris ; Padovani, Luca ; Ravara, António ; Tuosto, Emilio ; Vieira, Hugo ; Zavattaro, Gianluigi

ACM Computing Surveys (CSUR), 28 July 2016, Vol.49(1), pp.1-36 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/2873052

Toàn văn không sẵn có

Phiên bản sẵn có
10
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A Survey of Active Object Languages

Boer, Frank ; Serbanescu, Vlad ; Hähnle, Reiner ; Henrio, Ludovic ; Rochas, Justine ; Din, Crystal ; Johnsen, Einar ; Sirjani, Marjan ; Khamespanah, Ehsan ; Fernandez-Reyes, Kiko ; Yang, Albert

ACM Computing Surveys (CSUR), 13 November 2017, Vol.50(5), pp.1-39 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/3122848

Toàn văn không sẵn có

Phiên bản sẵn có
11
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Visual Menu Techniques.(Report)

Bailly, Gilles ; Lecolinet, Eric ; Nigay, Laurence

ACM Computing Surveys, 2017, Vol.49(4), p.1(41) [Tạp chí có phản biện]

ISSN: 0360-0300 ; DOI: 10.1145/3002171

Toàn văn không sẵn có

Phiên bản sẵn có
12
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A Checkpoint of Research on Parallel I/O for High-Performance Computing

Boito, Francieli ; Inacio, Eduardo ; Bez, Jean ; Navaux, Philippe ; Dantas, Mario ; Denneulin, Yves

ACM Computing Surveys (CSUR), 02 June 2018, Vol.51(2), pp.1-35 [Tạp chí có phản biện]

E-ISSN: 1557-7341 ; DOI: 10.1145/3152891

Toàn văn không sẵn có

Phiên bản sẵn có

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1998  (1)
  2. 1998đến2011  (1)
  3. 2012đến2012  (1)
  4. 2013đến2014  (3)
  5. Sau 2014  (6)
  6. Lựa chọn khác open sub menu

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. Nigay, Laurence
  2. Gaspar, Lubos
  3. Rochas, Justine
  4. Fernandez-Reyes, Kiko
  5. Claussen, Holger

Đang tìm Cơ sở dữ liệu bên ngoài...