tag :: concurrent | BibSonomy

bookmarks (hide)30
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
folkrank
order
ascending
descending
RSS
BibTeX
XML

1Evolving Concurrent Systems
http://users.cecs.anu.edu.au/~u5170295/papers/acsw-schewe-2017.pdf
8 days ago by @scch
show all tags
concurrent
evolving
flavio
klaus-dieter
systems
concurrentevolvingflavioklaus-dietersystems
(0)
copydelete
- community post
- history of this post
2Advanced computing with IPython [LWN.net]
https://lwn.net/SubscriberLink/756192/ebada7ecad32f3ad/
5 years ago by @bshanks
show all tags
concurrent
interop
ipython
jupyter
parallel
concurrentinteropipythonjupyterparallel
(0)
copydelete
- community post
- history of this post
1CStarProgrammingGuide.pdf
http://people.csail.mit.edu/bradley/cm5docs/CStarProgrammingGuide.pdf
7 years ago by @bshanks
show all tags
concurrent
connectionmachine
parallel
starlisp
concurrentconnectionmachineparallelstarlisp
(0)
copydelete
- community post
- history of this post
1omohundro86_the_essential_starlisp_manual.pdf
https://omohundro.files.wordpress.com/2009/03/omohundro86_the_essential_starlisp_manual.pdf
7 years ago by @bshanks
show all tags
concurrent
connectionmachine
parallel
starlisp
concurrentconnectionmachineparallelstarlisp
(0)
copydelete
- community post
- history of this post
1DataParallelAlgorithms.pdf
http://uenics.evansville.edu/~mr56/ece757/DataParallelAlgorithms.pdf
7 years ago by @bshanks
show all tags
concurrent
connectionmachine
dataparallel
parallel
parallelalgorithms
concurrentconnectionmachinedataparallelparallelparallelalgorithms
(0)
copydelete
- community post
- history of this post
1Beautiful concurrency
http://research.microsoft.com/Users/simonpj/papers/stm/beautiful.pdf
7 years ago by @bshanks
show all tags
Bookmarks
haskell
concurrent
parallel
stm
filetype:pdf
media:document
Bookmarkshaskellconcurrentparallelstmfiletype:pdfmedia:document
(0)
copydelete
- community post
- history of this post
1[0812.4852] Common sense for concurrency and strong paraconsistency using unstratified inference and reflection
http://arxiv.org/abs/0812.4852
7 years ago by @bshanks
show all tags
direct
logic
hewit
concurrent
paraconsistent
alt
directlogichewitconcurrentparaconsistentalt
(0)
copydelete
- community post
- history of this post
1Tutorial: Synchronization and concurrency in Java 5
http://www.javamex.com/tutorials/synchronization_concurrency_1.shtml
7 years ago by @bshanks
show all tags
Java
concurrent
concurrency
Javaconcurrentconcurrency
(0)
copydelete
- community post
- history of this post
1A look at the 100-core Tilera Gx
http://www.multicoreinfo.com/2009/10/100-core-tilera/
7 years ago by @bshanks
show all tags
parallel
multicore
concurrency
concurrent
blog
tobemined
parallelmulticoreconcurrencyconcurrentblogtobemined
(0)
copydelete
- community post
- history of this post
1Python Package Index : gevent 0.13.3
http://pypi.python.org/pypi/gevent#downloads
7 years ago by @bshanks
show all tags
python
parallel
concurrent
greenlet
coroutine
pythonparallelconcurrentgreenletcoroutine
(0)
copydelete
- community post
- history of this post
1Embarrassingly parallel for loops — joblib v0.6.0b3 documentation
http://packages.python.org/joblib/parallel.html
7 years ago by @bshanks
show all tags
process
loop
for
concurrent
python
parallel
processloopforconcurrentpythonparallel
(0)
copydelete
- community post
- history of this post
1Notes on Distributed Systems for Young Bloods – Something Similar
http://www.somethingsimilar.com/2013/01/14/notes-on-distributed-systems-for-young-bloods/
7 years ago by @bshanks
show all tags
parallel
gotchas
concurrent
****
distributed
list
tips
gotcha
parallelgotchasconcurrent****distributedlisttipsgotcha
(0)
copydelete
- community post
- history of this post
1Your Arsenal - 1024cores
http://www.1024cores.net/home/lock-free-algorithms/your-arsenal
7 years ago by @bshanks
show all tags
parallel
concurrent
concurrency
parallelconcurrentconcurrency
(0)
copydelete
- community post
- history of this post
1Splash: Fast Data Dissemination with Constructive Interference in Wireless Sensor Networks
https://www.usenix.org/system/files/conference/nsdi13/nsdi13-final22.pdf
10 years ago by @mwil
show all tags
concurrent
wsn
concurrentwsn
(0)
copydelete
- community post
- history of this post
1erldocs.com (Erlang Documentation)
A comprehensive, browsable Erlang documentation with a nice interface.
11 years ago by @evnu
show all tags
concurrent
documentation
erlang
concurrentdocumentationerlang
(0)
copydelete
- community post
- history of this post
1code (kernel) - - erldocs.com (Erlang Documentation)
Erlang uses a code server to keep track of runtime code changes.
11 years ago by @evnu
show all tags
code
concurrent
erlang
hot-swap-code
codeconcurrenterlanghot-swap-code
(0)
copydelete
- community post
- history of this post
1Rust
http://www.rust-lang.org/
11 years ago by @brightbyte
show all tags
boundaries
concurrent
language
programming
stable
boundariesconcurrentlanguageprogrammingstable
(0)
copydelete
- community post
- history of this post
2CUDA Zone Home - NVIDIA
CUDA Zone Home - NVIDIA
12 years ago by @draganigajic
show all tags
C
concurrent
gpu
mpp
programming
Cconcurrentgpumppprogramming
(0)
copydelete
- community post
- history of this post
1The Transterpreter
http://www.transterpreter.org/index.html
12 years ago by @draganigajic
show all tags
concurrent
csp
occam
pi-calculus
robotics
concurrentcspoccampi-calculusrobotics
(0)
copydelete
- community post
- history of this post
1Murali's publications page
http://www.cs.cmu.edu/~tmurali/publications.html
13 years ago by @giuliano.losa
show all tags
concurrent
distributed
parameterize
people
verification
concurrentdistributedparameterizepeopleverification
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
⟩
⟩⟩

publications (hide)125
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
folkrank
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...

1GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs
T. Yuan, G. Li, J. Lu, C. Liu, L. Li, and J. Xue. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) , page 187-199. Los Alamitos, CA, USA, IEEE Computer Society, (March 2021)
2 years ago by @gron
show all tags
benchmark
bugs
computing
concurrent
kernel
languages
synchronization
testing
tools
benchmarkbugscomputingconcurrentkernellanguagessynchronizationtestingtools
(0)
copydeleteadd this publication to your clipboard
2Planning for decentralized control of multiple robots under uncertainty
C. Amato, G. Konidaris, G. Cruz, C. Maynor, J. How, and L. Kaelbling. IEEE International Conference on Robotics and Automation , page 1241--1248. Seattle, WA, USA, IEEE, (May 2015)
3 years ago by @marcondg
show all tags
concurrent
dec-pomdp
decentralized
enhancement
lim-com
nondet-outcomes
partial-obs
concurrentdec-pomdpdecentralizedenhancementlim-comnondet-outcomespartial-obs
(0)
copydeleteadd this publication to your clipboard
3Decentralized control of Partially Observable Markov Decision Processes using belief space macro-actions
S. Omidshafiei, A. Agha mohammadi, C. Amato, and J. How. IEEE International Conference on Robotics and Automation , page 5962--5969. Seattle, WA, USA, IEEE, IEEE, (May 2015)
3 years ago by @marcondg
show all tags
concurrent
dec-pomdp
decentralized
enhancement
lim-com
nondet-outcomes
partial-obs
concurrentdec-pomdpdecentralizedenhancementlim-comnondet-outcomespartial-obs
(0)
copydeleteadd this publication to your clipboard
2Graph-based Cross Entropy method for solving multi-robot decentralized POMDPs
S. Omidshafiei, A. Agha mohammadi, C. Amato, S. Liu, J. How, and J. Vian. IEEE International Conference on Robotics and Automation , page 5395--5402. Stockholm, Sweden, IEEE, (May 2016)
3 years ago by @marcondg
show all tags
concurrent
dec-pomdp
decentralized
enhancement
lim-com
nondet-outcomes
partial-obs
concurrentdec-pomdpdecentralizedenhancementlim-comnondet-outcomespartial-obs
(0)
copydeleteadd this publication to your clipboard
1MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE
S. Taoufik, B. Tahar, and K. Mourad. International Journal on Web Service Computing (IJWSC) 9 (1): 01-14 (March 2018)
3 years ago by @ijwsc
show all tags
Ada
Architecture
Behavioral
Concurrent
FDR2
Model-Checker
Program
SCDL
Service-Component
Verification
WS-BPEL
AdaArchitectureBehavioralConcurrentFDR2Model-CheckerProgramSCDLService-ComponentVerificationWS-BPEL
(0)
copydeleteadd this publication to your clipboard
1Nichtsequentielle und Verteilte Programmierung mit Go
C. Maurer. Lehrbuch Springer Vieweg, Wiesbaden, 3 edition, (2018)
4 years ago by @flint63
show all tags
02041
103
8book
9springer
concurrent
development
software
020411038book9springerconcurrentdevelopmentsoftware
(0)
copydeleteadd this publication to your clipboard
2Detecting Concurrency Errors in Client-Side Java Script Web Applications
S. Hong, Y. Park, and M. Kim. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation , page 61-70. (March 2014)
5 years ago by @gron
show all tags
Concurrency
Concurrent
JavaScript
Testing
WAVE
WebApplication
bug
ConcurrencyConcurrentJavaScriptTestingWAVEWebApplicationbug
(0)
copydeleteadd this publication to your clipboard
1Throughput Enhancement by Concurrent Transmission in WPAN with Multiple Antennas
M. Bilal, and M. Kang. (2012)cite arxiv:1801.00389Comment: 5 pages, 6 Figures, Presented in 14th International Conference on Advanced Communication Technology IEEE ICACT'12. February 2012, South Korea.
5 years ago by @mbilal084
show all tags
Adhoc
Antennas
Fairness
LOS
Mesh
Multiple
WPANs
concurrent
mmWave
network
optimization
scheduling
throughput
transmission
AdhocAntennasFairnessLOSMeshMultipleWPANsconcurrentmmWavenetworkoptimizationschedulingthroughputtransmission
(0)
copydeleteadd this publication to your clipboard
1Time-Slotted Scheduling Schemes for Multi-hop Concurrent Transmission in WPANs with Directional Antenna
M. Bilal, M. Kang, S. Shah, and S. Kang. ETRI 36 (3): 374-384 (2014)cite arxiv:1801.06018Comment: 11 pages, 10 figures, published in ETRI Journal, Volume 36, Number 3, pp. 374-384, June 2014.
5 years ago by @mbilal084
show all tags
High‐speed
WPANs
communication
concurrent
mmWave
optimization
scheduling
transmission
High‐speedWPANscommunicationconcurrentmmWaveoptimizationschedulingtransmission
(0)
copydeleteadd this publication to your clipboard
1The Use of Historical Controls in Post-Test only Non-Equivalent Control Group
L. Samson. International Journal of Trend in Scientific Research and Development 2 (4): 2605-2614 (June 2018)
5 years ago by @ijtsrd
show all tags
Nursing
care
concurrent
control
experimental
group
historical
nursing
rounds
structured
Nursingcareconcurrentcontrolexperimentalgrouphistoricalnursingroundsstructured
(0)
copydeleteadd this publication to your clipboard
4Idle Time Garbage Collection Scheduling
U. Degenbaev, J. Eisinger, M. Ernst, R. McIlroy, and H. Payer. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation , page 570--583. ACM, (2016)
5 years ago by @gron
show all tags
Concurrent
GC
Incremental
Parallel
ConcurrentGCIncrementalParallel
(0)
copydeleteadd this publication to your clipboard
1Ereignisdiskrete Systeme: Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen
J. Lunze. De Gruyter Studium De Gruyter Oldenbourg, Berlin, 3 edition, (2017)
6 years ago by @flint63
show all tags
01821
103
book
computer
science
system
engineering
theory
temporal
concurrent
design
simulation
tool
01821103bookcomputersciencesystemengineeringtheorytemporalconcurrentdesignsimulationtool
(0)
copydeleteadd this publication to your clipboard
2Programming Language Pragmatics
M. Scott. Morgan Kaufmann, Amsterdam, 4 edition, (2016)
6 years ago by @flint63
show all tags
01841
103
book
shelf
software
development
compiler
concurrent
01841103bookshelfsoftwaredevelopmentcompilerconcurrent
(0)
copydeleteadd this publication to your clipboard
1Programming Erlang: Software for a Concurrent World
J. Armstrong. Pragmatic Bookshelf, Dallas, TX, 2 edition, (2013)
6 years ago by @flint63
show all tags
01841
105
book
shelf
safari
software
development
messaging
concurrent
code
01841105bookshelfsafarisoftwaredevelopmentmessagingconcurrentcode
(0)
copydeleteadd this publication to your clipboard
2Concurrent Programming in Java: Design Principles and Patterns
D. Lea. Java Series Addison-Wesley, Reading, MA, 2 edition, (1999)
6 years ago by @flint63
show all tags
01841
105
book
shelf
safari
software
development
java
concurrent
01841105bookshelfsafarisoftwaredevelopmentjavaconcurrent
(0)
copydeleteadd this publication to your clipboard
11Java Concurrency in Practice
B. Goetz, T. Peierls, J. Bloch, J. Bowbeer, D. Holmes, and D. Lea. Addison-Wesley, Upper Saddle River, NJ, (2006)
6 years ago by @flint63
show all tags
01841
105
book
shelf
safari
software
development
java
concurrent
01841105bookshelfsafarisoftwaredevelopmentjavaconcurrent
(0)
copydeleteadd this publication to your clipboard
1Java Threads: Understanding and Mastering Concurrent Programming
S. Oaks, and H. Wong. O'Reilly, Sebastopol, CA, 3 edition, (2004)
6 years ago by @flint63
show all tags
01841
103
book
safari
software
development
java
concurrent
api
01841103booksafarisoftwaredevelopmentjavaconcurrentapi
(0)
copydeleteadd this publication to your clipboard
2Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
M. Leszak, and H. Eggert. Informatik-Fachberichte Springer, Berlin, (1989)
6 years ago by @flint63
show all tags
01624
103
springer
book
computer
science
system
engineering
theory
format
concurrent
design
simulation
tool
01624103springerbookcomputersciencesystemengineeringtheoryformatconcurrentdesignsimulationtool
(0)
copydeleteadd this publication to your clipboard
2Modelling Actor Programs using Predicate/Transition Nets
P. Coscas, G. Fouquier, and A. Lanusse. Proceedings Euromicro Workshop on Parallel and Distributed Processing , page 194--200. (January 1995)
6 years ago by @gron
show all tags
Computation
Computing
Concurrent
Data
Debugging
Distributed
ObjectMachines
Parallel
Petri
Virtual
actor
debugging
formalism
nets
parallel
structures
ComputationComputingConcurrentDataDebuggingDistributedObjectMachinesParallelPetriVirtualactordebuggingformalismnetsparallelstructures
(0)
copydeleteadd this publication to your clipboard
2Life Beyond Distributed Transactions
P. Helland. Communications of the ACM 60 (2): 46--54 (February 2017)
6 years ago by @flint63
show all tags
01841
acm
paper
transaction
processing
database
middleware
concurrent
optimize
01841acmpapertransactionprocessingdatabasemiddlewareconcurrentoptimize
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩