BibSonomy bookmarks for /tag/stm

Anadolu Agency tours state-of-the-art Turkish UAV maker

grundlagen — 2020-06-19T18:58:24+02:00

Turkish defense contractor STM, which produces upgraded unmanned aerial vehicles, also known as "kamikaze drones," opened the doors of its manufacturing facility for the first time to Anadolu Agency.

Turkish Military To Receive 500 Swarming Kamikaze Drones

grundlagen — 2020-06-19T18:19:56+02:00

Turkey is producing, and planning to export, advanced kamikaze drones that can operate in swarms and locate their own targets. Turkey is fast becoming leading a player in the military drone market, and Kargu could provide a significant boost.

Durus

bshanks — 2016-12-12T10:02:22+01:00

http://www.mems-exchange.org/software/durus/

Beautiful concurrency

bshanks — 2016-12-12T10:02:08+01:00

http://research.microsoft.com/Users/simonpj/papers/stm/beautiful.pdf

International Association of Scientific, Technical, and Medical Publishers - Wikipedia, the free encyclopedia

droessler — 2015-08-29T11:35:29+02:00

https://en.wikipedia.org/wiki/International_Association_of_Scientific,_Technical,_and_Medical_Publishers

TEXT AND DATA MINING FOR NON-COMMERCIAL SCIENTIFIC RESEARCH

jaeschke — 2014-02-27T14:13:04+01:00

A STATEMENT OF COMMITMENT BY STM PUBLISHERS TO A ROADMAP TO ENABLE TEXT AND DATA MINING (TDM) FOR NON COMMERCIAL SCIENTIFIC RESEARCH IN THE EUROPEAN UNION

ScalaSTM — Introduction

sac — 2012-08-24T11:14:12+02:00

http://nbronson.github.com/scala-stm/intro.html

Simple STM example - HaskellWiki

draganigajic — 2011-07-13T18:13:11+02:00

http://www.haskell.org/haskellwiki/Simple_STM_example

totally awesome programming languages

draganigajic — 2011-07-13T18:13:06+02:00

This is an Erlang solution to "The Santa Claus problem", % as discussed by Simon Peyton Jones (with a Haskell solution using % Software Transactional Memory) in "Beautiful code". % He quotes J.A.Trono "A new exercise in concurrency", SIGCSE 26:8-10, 1994.

Tenerife Skunkworks: Why I love Haskell

draganigajic — 2011-07-13T18:12:43+02:00

http://www.wagerlabs.com/blog/2005/12/why-i-love-hask.html

AtomCaml: First-Class Atomicity via Rollback

draganigajic — 2011-07-13T18:12:12+02:00

We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A first-class primitive function of type (unit->'a)->'a evaluates its argument (which may call other functions, even external C functions) as though no other thread has interleaved execution. Our design ensures fair scheduling and obstruction-freedom. Our implementation extends the Objective Caml bytecode compiler and run-time system to support atomicity. A logging-and-rollback approach lets us undo uncompleted atomic blocks upon thread pre-emption, and retry them when the thread is rescheduled. The mostly functional nature of the Caml language and the Objective Caml implementation's commitment to a uniprocessor execution model (i.e., threads are interleaved, not executed simultaneously) allow particularly efficient logging.

DeepDyve - Search for Research

acka47 — 2009-05-11T09:23:28+02:00

DeepDyve delivers fast, easy access to the vast amounts of expert information hidden in the Deep Web. Today we're focusing in just a few subject areas including Medical and Life Sciences but we are rapidly expanding into additional markets.

JAMA -- Table of Contents (Vol. 287 No. 21, June 5, 2002)

bibliothecaire — 2006-04-07T12:57:01+02:00

http://jama.ama-assn.org/content/vol287/issue21/index.dtl

Peer Review of Scholarly communication in health: perspectives in the Internet Age.:.Internet Health ::Journal of Research,Technology,Communication and Ethics

bibliothecaire — 2006-04-05T17:27:42+02:00

http://virtualmed.netfirms.com/internethealth/proposal0103.html