Stem section$ (all stems)

49 papers:

CHI-2015-TinatiKSLSS #case study #data analysis #design #framework #multi

Designing for Citizen Data Analysis: A Cross-Sectional Case Study of a Multi-Domain Citizen Science Platform (RT, MVK, EPBS, MLR, RJS, NS), pp. 4069–4078.

SAC-2015-DabrowskiLP #compilation #concurrent #thread

Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.

HPDC-2015-KaxirasKNRS #approach #distributed #execution #memory management #scalability

Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory (SK, DK, MN, AR, KFS), pp. 3–14.

PPoPP-2015-DasSR #communication #concurrent #detection #program analysis #thread

Section based program analysis to reduce overhead of detecting unsynchronized thread communication (MD, GS, JR), pp. 283–284.

HCI-AS-2014-ZaunbrecherKZ #self

The Willingness to Adopt Technologies: A Cross-Sectional Study on the Influence of Technical Self-efficacy on Acceptance (BSZ, SK, MZ), pp. 764–775.

MoDELS-2014-ThummalaO #effectiveness #evaluation

An Evaluation of the Effectiveness of the Atomic Section Model (ST, JO), pp. 35–49.

MoDELS-2014-ThummalaO #effectiveness #evaluation

An Evaluation of the Effectiveness of the Atomic Section Model (ST, JO), pp. 35–49.

OOPSLA-2014-DavidTLM #profiling

Continuously measuring critical section pressure with the free-lunch profiler (FD, GT, JL, GM), pp. 291–307.

SAC-2014-DabrowskiLP #concurrent #thread

Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.

DATE-2013-YuZHWLT #approach #manycore #set #simulation

A critical-section-level timing synchronization approach for deterministic multi-core instruction set simulations (FWY, BHZ, YHH, HIW, CRL, RST), pp. 643–648.

CC-2013-KempfVP #identification #parallel

Compiler-Guided Identification of Critical Sections in Parallel Code (SK, RV, MP), pp. 204–223.

DocEng-2012-TruranGCZ #authoring #guidelines

A section title authoring tool for clinical guidelines (MT, GG, MC, DZ), pp. 41–44.

CASE-2011-AranovskiyBB #identification #metric

The method of identification for the “motor-dual-section device” system through output signal measurements (SA, AAB, VB), pp. 346–350.

SCAM-J-2009-Ross11 #editing #quality

Guest Editor’s Introduction to the Special Section on the 2009 Software Quality Management conference (MR), pp. 379–380.

WCRE-2011-CheathamR

Function Insight: Highlighting Suspicious Sections in Binary Run Traces (MC, JR), pp. 433–434.

STOC-2011-Karnin

Deterministic construction of a high dimensional lp section in l1n for any p<2 (ZSK), pp. 645–654.

SIGIR-2011-AktolgaRA #detection

Detecting outlier sections in us congressional legislation (EA, IR, YA), pp. 235–244.

SAC-2011-LeeKCW #sequence #visualisation

Visualizing dispute sections and relations from the sequence of replying comments (YJL, EKK, HGC, GW), pp. 786–791.

PLDI-2010-NakaikeM #java

Lock elision for read-only critical sections in Java (TN, MMM), pp. 269–278.

ICPR-2010-ChevionNR #approach #image

Image Processing Based Approach for Retrieving Data from a Seismic Section in Bitmap Format (DC, YN, DR), pp. 4444–4447.

ICPR-2010-KontschiederDKBB #detection #image

Detecting Paper Fibre Cross Sections in Microtomy Images (PK, MD, JK, WB, HB), pp. 316–319.

SEKE-2010-WangWLX #developer

Assisting Developers to Read Code Help-Documents Efficiently through Discovering Document-section Relationships (LW, LW, GL, BX), pp. 367–373.

SAC-2010-HongSE #multi

WMS-extracting multiple sections data records from search engine results pages (JLH, EGS, SE), pp. 1696–1701.

ASPLOS-2009-SulemanMQP #architecture #execution #manycore #symmetry

Accelerating critical section execution with asymmetric multi-core architectures (MAS, OM, MKQ, YNP), pp. 253–264.

PLDI-2008-CheremCG

Inferring locks for atomic sections (SC, TMC, SG), pp. 304–315.

CIKM-2007-Park #automation #segmentation

Automatic call section segmentation for contact-center calls (YP), pp. 117–126.

CGO-2007-DaiLH #execution #network #pipes and filters #using

Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors (JD, LL, BH), pp. 312–324.

PPoPP-2007-ZhangSZSG #concurrent

Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections (YZ, VCS, WZ, VS, GRG), pp. 146–147.

VLDB-2006-ZhaoMY #automation

Automatic Extraction of Dynamic Record Sections From Search Engine Result Pages (HZ, WM, CTY), pp. 989–1000.

ITiCSE-2006-Bozic #algorithm #automaton #finite #modelling

Application of finite state automata to the bakery algorithm in critical section modeling (VB), p. 362.

POPL-2006-McCloskeyZGB #named

Autolocker: synchronization inference for atomic sections (BM, FZ, DG, EAB), pp. 346–358.

ICPR-v3-2004-BakerB

Principal Flow for Tubular Objects with Non-Circular Cross-Sections (GB, NB), pp. 750–753.

ICPR-v3-2004-BogushTS #3d #re-engineering

3D Object Reconstruction from Non-Parallel Cross-Sections (ALB, AT, SS), pp. 542–545.

ICPR-v3-2004-MitaniMH #image

Artificial Images for Classifying Diffuse Lung Opacities in Thin-Section Computed Tomography Images (YM, NM, YH), pp. 530–533.

ICPR-v4-2004-SheyninTB

Improvements of Volume Computation from Non-Parallel Cross-Sections (SS, AT, ALB), pp. 815–818.

ICPR-v1-2002-MitaniYKUMH

Combining the Gabor and Histogram Features for Classifying Diffuse Lung Opacities in Thin-Section Computed Tomography (YM, HY, SK, KU, NM, YH), pp. 53–56.

CC-2002-GuptaMZ #analysis #optimisation #representation

A Representation for Bit Section Based Analysis and Optimization (RG, EM, YZ), pp. 62–77.

PPoPP-2001-LuCZ #distributed #memory management #replication #source code

Contention elimination by replication of sequential sections in distributed shared memory programs (HL, ALC, WZ), pp. 53–61.

ICPR-v1-2000-RosT

Shape-from-Image via Cross-Sections (LR, FT), pp. 1794–1797.

ICPR-v3-2000-LimiaNF #3d #segmentation

Texture Segmentation of a 3D Seismic Section with Wavelet Transform and Gabor Filters (MFL, AMN, MTF), pp. 3358–3361.

ICPR-v4-2000-CongP

Surface Recovery from Planar Sectional Contours (GC, BP), pp. 4106–4109.

ICPR-v4-2000-Ishii #3d #metric #using

3-D Shape Measurement Using a Focused-Section Method (AI), pp. 4828–4832.

ICDAR-1999-GrabowskiLM #segmentation

Stepwise Segmentation and Interpretation of Section Representations in Vectorized Drawings (HG, CL, AM), pp. 677–680.

ICPR-1998-KawataNOKMEKM #analysis #image #using

Curvature based analysis of pulmonary nodules using thin-section CT images (YK, NN, HO, RK, KM, KE, MK, NM), pp. 361–363.

RTA-1997-OttoKK #decidability #monad #problem #word

Cross-Sections for Finitely Presented Monoids with Decidable Word Problems (FO, MK, YK), pp. 53–67.

ICPR-1996-ChungH #2d #3d #modelling #re-engineering #using

Using 2D active contour models for 3D reconstruction from serial sections (RC, CkH), pp. 849–853.

ICALP-1985-Johnson #equivalence #question

Do Rational Equivalence Relations have Regular Cross-Sections? (JHJ), pp. 300–309.

STOC-1978-Katseff #problem

A New Solution to the Critical Section Problem (HPK), pp. 86–88.

STOC-1977-PetersonF #distributed #problem

Economical Solutions for the Critical Section Problem in a Distributed System (Extended Abstract) (GLP, MJF), pp. 91–97.