A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Embedded SML using the MLton compiler
[article]
2016
arXiv
pre-print
Preserved Fulltext
Specifically we detail our experiences in modifying MLton, a whole program, optimizing compiler for Standard ML, for use in such contexts. ...
In this extended abstract we present our current work on leveraging Standard ML for developing embedded and real-time systems. ...
We use MLton [13] , a whole program optimizing compiler for SML, as a base to implement the constructs necessary for using Standard ML (SML) [12] in an embedded context. ...
arXiv:1608.07206v1
fatcat:22b323yw6nbqppfptvsduyswiu
Kill-safe synchronization abstractions
2004
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
There's a big difference between mostly dead and all dead. " -Miracle Max in The Princess Bride ...
Kill-Safe Synchronization Abstractions "Well, it just so happens that your friend here is only mostly dead. ...
space (as indicated in the figure by thick black lines). ...
doi:10.1145/996893.996849
fatcat:apk7cynxc5ey3jnqygwn7aa3qy
A New Progression Towards a Safer Anterior Percutaneous Endoscopic Cervical Discectomy: A Technical Report
2016
Journal of Spine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Percutaneous Endoscopic Cervical Discectomy (PECD) has evolved as an efficient and minimally invasive procedure for both contained and non-contained cervical disc herniations in the recent years. ...
Dilator 2 mm and working length 160 mm. • Obturator 4 mm (threaded) working length 140 mm. ...
With the introduction of new threaded obturator and cannula it is possible to insert them without tapping, by threading in a clockwise manner into the disc space. ...
doi:10.4172/2165-7939.1000329
fatcat:mzbvevr24rfkxkhtgkxab6wiky
Combined Spinal Epidural Overcoming a Lumbar Lipoma for Lower Limb Both Bone Fracture
2021
Research & Innovation in Anesthesia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
With meticulous technique and good knowledge of anatomy, we safely executed combined spinal-epidural anesthesia for our patient, the highlight being threading the epidural catheter downward above the lipoma ...
to position it optimally and administering the subarachnoid block from below the lipoma, which resulted in satisfactory intra-and postoperative outcomes. ...
Following this, a 23-G Quincke's spinal needle was inserted in the L3-L4 intervertebral space and 3.5 mL of hyperbaric 0.5% bupivacaine was injected intrathecally. ...
doi:10.5005/jp-journals-10049-0103
fatcat:hoxfvu63grgqlknylgnb6glxsu
Postoperative Apnea in a Neonate Following an Epidural Bolus Dose Through a High Thoracic Epidural Catheter
2021
Journal of Medical Cases
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The patient had an epidural catheter that had been threaded from the caudal space to the thoracic level to provide analgesia following an abdominal surgical procedure. ...
Adverse effects of epidural anesthesia in neonates are discussed and options for identifying the correct placement of a thoracic epidural catheter are reviewed. ...
No hemodynamic changes were observed, and an epidural infusion of 1.5% 2-chloroprocaine and clonidine (0.1 µg/mL) was started at 2 mL/h per standard clinical practice [4] . ...
doi:10.14740/jmc3814
pmid:34970371
pmcid:PMC8683109
fatcat:qdzddocqvzhxnddzh7izxwqsaa
Efficient parallel programming in Poly/ML and Isabelle/ML
2010
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming - DAMP '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
At each stage we carefully selected from the many existing concepts for parallelism, and integrated them in a way that fits smoothly into the idea of purely functional ML with the addition of synchronous ...
Despite substantial reorganization in the background, only minimal changes are occasionally required in user ML code, and none at the Isabelle application level (where parallel theory and proof processing ...
of the name space must of course be thread-safe. ...
doi:10.1145/1708046.1708058
dblp:conf/popl/MatthewsW10
fatcat:zh2fs6336rds7bkc4jomwfznpq
Atomic heap transactions and fine-grain interrupts
1999
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In particular, the standard techniques prevent thread schedulers from switching threads on VM page faults. ...
Standard techniques for providing this atomicity guarantee have large latencies and other performance problems that impede their application in high-performance, interruptladen, thread-based systems applications ...
For example, the SML/NJ [SML/NJ] implementation of Standard ML allocates procedure frames and boxes floating-point numbers in the heap. ...
doi:10.1145/317636.317783
dblp:conf/icfp/ShiversCM99
fatcat:ylqsx2jfubcufk4y3gdjlfvafa
Atomic heap transactions and fine-grain interrupts
1999
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In particular, the standard techniques prevent thread schedulers from switching threads on VM page faults. ...
Standard techniques for providing this atomicity guarantee have large latencies and other performance problems that impede their application in high-performance, interruptladen, thread-based systems applications ...
For example, the SML/NJ [SML/NJ] implementation of Standard ML allocates procedure frames and boxes floating-point numbers in the heap. ...
doi:10.1145/317765.317783
fatcat:bqhiope2wzdrnff4ysr2gbl7hi
New Products
2013
Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
organizations are featured in this space. ...
The DrySyn MULTI converts any standard hotplate stirrer into a reaction block accommodating three flasks of 10 mL-100 mL or up to 12 reactions in tubes or vials. ...
doi:10.1126/science.339.6127.1630-a
fatcat:kxnswomtyzfnrcwr7lprvrkoza
A technical review of the history, development and performance of the anaesthetic conserving device "AnaConDa" for delivering volatile anaesthetic in intensive and post-operative critical care
2018
Journal of clinical monitoring and computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
There is a shift in critical care to adopt volatile anaesthetics as sedatives for certain patients using mechanical ventilation. ...
It can be used for 24 h of sedation, and fits into current critical care ventilator circuits almost without modifications. ...
These adaptors can be screwed securely onto the standard 250 mL brown glass or plastic isoflurane or sevoflurane bottles, and have a sprung stainless steel valve with matching thread for the modified syringe ...
doi:10.1007/s10877-017-0097-9
pmid:29388094
pmcid:PMC6061082
fatcat:yn6qcapqwrgutnbrhgkxzyz5m4
Removing GC synchronisation
2002
Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Many thanks also to Steve Heller and Dave Detlefs of the Java Technology Group at Sun Microsystems Laboratories East for providing ResearchVM. ...
ACKNOWLEDGEMENTS Much gratitude to Richard Jones for the invaluable contributions he made and the immeasurable patience he showed throughout this work. ...
GC has long been effectively employed in functional and object-oriented languages like ML, Smalltalk and SELF, but it is with the wide-spread adoptance of Java as a platform for large server applications ...
doi:10.1145/985072.985129
dblp:conf/oopsla/King02
fatcat:7n47uo3ddzebrh5t7r4oaljolu
Neovagina creation - laparoscopic Vecchetti-based approach with the new kit
2013
South African Journal of Obstetrics and Gynaecology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
There is no standard treatment, but a few techniques for creating a vagina, allowing a normal sex life, have been described. ...
It is a rare congenital anomaly of the female genital tract with a prevalence of 1 in 5 000 female newborns. ...
We thank the High Care Unit at Vincent Pallotti Hospital, Cape Town, for their assistance. ...
doi:10.7196/sajog.564
fatcat:ksslxkax7ffhtahr4r3dqabxdm
D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Distributed Caml (D'Caml) is a distributed implementation of Caml, a dialect of ML. The compiler produces native code for diverse execution platforms. ...
The distributed shared memory allows transmission and sharing of arbitrary ML objects including higher-order functions, exceptions, and mutable objects without affecting the sequential semantics of ML. ...
Acknowledgment The authors thank anonymous Euro-Par '99 reviewers for giving us precious comments. Tetsu Ushijima implemented earlier version of D'Caml/MPI. ...
doi:10.1007/3-540-48311-x_127
fatcat:qnuemep675cbffsvzl7dzisb7m
A new modified Gant-Miwa-Thiersch combined with submucosal and perirectal sclerosant injection procedure for full-thickness rectal prolapse in elderly women: clinical analysis of 34 cases
2021
BMC Surgery
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Hence, it should be considered the first option for the treatment of FTRP in frail elderly women. ...
The most common cause of relapse after nmGMTSI was the removal of infected threads used in the Thiersch procedure. ...
thread 2/0. e The prolapsed rectum was restored completely by tightening the Vicryl thread. f Sclerosant was injected into the pelvic rectum space. g Anatomic drawings of the injection in the pelvic rectum ...
doi:10.1186/s12893-021-01284-2
pmid:34090388
fatcat:ouuyynf54bh6jeymkavcpipfwm
Percutaneous endoscopic gastrostomy in porcines performed with standard medical instruments used in a general hospital routine
2004
Acta Cirurgica Brasileira
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
METHODS: This procedure was performed in pigs (Sus scrofa domesticus) under observation for seven days and then submitted to euthanasia.The technique was evaluated for macroscopic and histologic parameters ...
Some minor complications occurred like a rupture of Foley catheter balloon and subcutaneous space abscess. ...
In one animal there was a small abscess in the subcutaneous space where the catheter remained, but without signs of food extravasation. ...
doi:10.1590/s0102-86502004000500002
fatcat:cb6737ni6ngnxevlmavq2zrchq
« Previous
Showing results 1 — 15 out of 9,760 results