• Suche: "Programmation technique"

Treffer 1 - 20 von 303

1

The ATOMOΣ transactional programming language
CARLSTROM, Brian D ; MCDONALD, Austen ; CHAFI, Hassan ; et al.
PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, 2006, Ottawa, Ontario, CanadaACM SIGPLAN notices. 41(6):1-13

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
2

Simplifying reductions
GAUTAM ; RAJOPADHYE, S
Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, 2006, Charleston, South Carolina, USAACM SIGPLAN notices. 41(1):30-41

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
3

Visual tool for generative programming
GRIGORENKO, Pavel ; SAABAS, Ando ; TYUGU, Enn
ESEC/FSE'05 (proceedings of the joint 10th European Software engineering conference (ESEC) and the 13th ACM SIGSOFT symposium on the foundations of software engineering (FSE-13)). :249-252

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
4

Trust but Verify : Monitoring remotely executing programs for progress and correctness
SHUO YANG ; BUTT, Ali R ; HU, Y. Charlie ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :196-205

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
5

Transparent distribution of real-time components based on logical execution time
FARCAS, Emilia ; FARCAS, Claudiu ; PREE, Wolfgang ; et al.
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems: LCTES'05, June 15-17, 2005, Chicago, Illinois, USAACM SIGPLAN notices. 40(7):31-39

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
6

Transactors : A programming model for maintaining globally consistent distributed state in unreliable environments
FIELD, John ; VARELA, Carlos A
Proceedings of the 2005 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)ACM SIGPLAN notices. 40(1):195-208

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
7

Theoretical foundations for compensations in flow composition languages
BRUNI, Roberto ; MELGRATTI, Hernan ; MONTANARI, Ugo
Proceedings of the 2005 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)ACM SIGPLAN notices. 40(1):209-220

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
8

The anatomy of a loop : A story of scope and control
SHIVERS, Olin
Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP'05), September 26-28, 2005 - Tallinn, EstoniaACM SIGPLAN notices. 40(9):2-14

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
9

Static analysis of atomicity for programs with non-blocking synchronization
LIQIANG WANG ; STOLLER, Scott D
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :61-71

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
10

Revocable locks for non-blocking programming
HARRIS, Tim ; FRASER, Keir
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :72-82

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
11

Evolutionary performance-oriented development of parallel programs by composition of components
MAHMOOD, Nasim ; YUSHENG FENG ; BROWNE, James C
WOSP'05 (Proceedings of the Fifth International Workshop on Software and Performance). :239-248

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
12

Environmental acquisition revisited
COBBE, Richard ; FELLEISEN, Matthias
Proceedings of the 2005 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)ACM SIGPLAN notices. 40(1):14-25

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
13

Composable memory transactions
HARRIS, Tim ; MARLOW, Simon ; JONES, Simon Peyton ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :48-60

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
14

Backtracking, interleaving, and terminating monad transformers
KISELYOV, Oleg ; SHAN, Chung-Chieh ; SABRY, Amr ; et al.
Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP'05), September 26-28, 2005 - Tallinn, EstoniaACM SIGPLAN notices. 40(9):192-203

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
15

Automated type-based analysis of data races and atomicity
SASTURKAR, Amit ; AGARWAL, Rahul ; LIQIANG WANG ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :83-94

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
16

Adaptive execution techniques for SMT multiprocessor architectures
JUNG, Changhee ; LIM, Daeseob ; LEE, Jaejin ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :236-246

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
17

A sampling-based framework for parallel data mining
CONG, Shengnan ; JIAWEI HAN ; HOEFLINGER, Jay ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :255-265

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
18

A novel approach for partitioning iteration spaces with variable densities
KEJARIWAL, Arun ; NICOLAU, Alexandra ; BANERJEE, Utpal ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :120-131

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
19

Scalable lock-free dynamic memory allocation
MICHAEL, Maged M
Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementatation (PLDI'04), Washington, DC, USA, June 9-11, 2004ACM SIGPLAN notices. 39(6):35-46

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
20

Relating models of backtracking
WAND, Mitchell ; VAILLANCOURT, Dale
Proceedings of the 2004 ACM SIGPLAN: International Conference on Functional Programming (ICFP'04), Snowbird, Utah, USA, September 19-21, 2004ACM SIGPLAN notices. 39(9):54-65

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter