Treffer 1 - 20 von 889

1

Proving thread termination
COOK, Byron ; PODELSKI, Andreas ; RYBALCHENKO, Andrey
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):320-330

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

Modular verification of a non-blocking stack
PARKINSON, Matthew ; BOMAT, Richard ; O'HEARN, Peter
POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, 2007, Nice, FranceACM SIGPLAN notices. 42(1):297-302

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

CheckFence : Checking consistency of concurrent data types on relaxed memory models
BURCKHARDT, Sebastian ; ALUR, Rajeev ; MARTIN, Milo M. K
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):12-21

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

Verification of well-formed communicating recursive state machines
BOZZELLI, Laura ; LA TORRE, Salvatore ; PERON, Adriano
Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)0VMCAI 2006. :412-426

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

Types for hierarchic shapes (Summary)
DROSSOPOULOU, Sophia ; CLARKE, Dave ; NOBLE, James
Programming languages and systems (15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006)0ESOP 2006. :1-6

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

Transactional events
DONNELLY, Kevin ; FLUET, Matthew
Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USAACM SIGPLAN notices. 41(9):124-135

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

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
8

Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
KAHLON, Vineet ; GUPTA, Aarti ; SINHA, Nishant
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :286-299

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

Stabilizers : A modular checkpointing abstraction for concurrent functional programs
ZIAREK, Lukasz ; SCHATZ, Philip ; JAGANNATHAN, Suresh
Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USAACM SIGPLAN notices. 41(9):136-147

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

Predictive log-synchronization
SHALEV, Ori ; SHAVIT, Nir
Proceedings of EuroSys2006, Leuven, Belgium, April 18-21, 2006Operating systems review. 40(4):305-315

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

Optimizing memory transactions
HARRIS, Tim ; PLESKO, Mark ; SHINNAR, Avraham ; 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):14-25

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

Hybrid transactional memory
DAMRON, Peter ; FEDOROVA, Alexandra ; LEV, Yossi ; et al.
ASPLOS-XII: Twelfth international conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, CA, USAOperating systems review. 40(5):336-346

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

Efficient computation of may-happen-in-parallel information for concurrent java programs
BARIK, Rajkishore
Languages and compilers for parallel computing (18th international workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005)0LCPC 2005. :152-169

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

Correctness-preserving derivation of concurrent garbage collection algorithms
VECHEV, Martin T ; YAHAV, Eran ; BACON, David F
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):341-353

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

CUTE and jCUTE : Concolic unit testing and explicit path model-checking tools
SEN, Koushik ; AGHA, Gul
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :419-423

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

Bounded model checking of concurrent data types on relaxed memory models : A case study
BURCKHARDT, Sebastian ; ALUR, Rajeev ; MARTIN, Milo M. K
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :489-502

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

Algebraic topology and concurrency
FAJSTRUP, Lisbeth ; RAUEN, Martin ; GOUBAULT, Eric
Clifford lectures and the mathematical foundations of programmming semantics, New Orleans, March 20-26, 2002Theoretical computer science. 357(1-3):241-278

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Konferenz
18

Accurate and efficient runtime detection of atomicity errors in concurrent programs
LIQIANG WANG ; STOLLER, Scott D
Proceedings of the 2006 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '06). :137-146

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

AVIO : Detecting atomicity violations via access interleaving invariants
SHAN LU ; TUCEK, Joseph ; FENG QIN ; et al.
12th International Conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, CaliforniaACM SIGPLAN notices. 41(11):37-48

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

Wolf - bug hunter for concurrent software using formal methods
BARNER, Sharon ; GLAZBERG, Ziv ; RABINOVITZ, Ishai
CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005)Lecture notes in computer science. :153-157

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz

Filter