BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
error (62)
system (35)
constraint (26)
analysi (25)
use (24)

Stem soft$ (all stems)

246 papers:

CASECASE-2015-ClevelandTDPKDB #automation #programming #recognition #segmentation #semantics
An automated system for semantic object labeling with soft object recognition and dynamic programming segmentation (JC, DT, PD, CJP, TK, KD, JB, VK), pp. 683–690.
CASECASE-2015-OgunmoluGJG #realtime
A real-time, soft robotic patient positioning system for maskless head-and-neck cancer radiotherapy: An initial investigation (OPO, XG, SBJ, NRG), pp. 1539–1545.
CASECASE-2015-QuZJCL #2d
A MEMS microgripper with two-axis actuators and force sensors for microscale mechanical characterization of soft materials (JQ, WZ, AJ, SSDC, XL), pp. 1620–1625.
CASECASE-2015-ToneS
Deforming control for object transportation with ferrofluid-based sheet-type soft robot (TT, KS), pp. 1171–1176.
DACDAC-2015-ChoCSM #component #comprehension #fault
Understanding soft errors in uncore components (HC, CYC, TS, SM), p. 6.
DATEDATE-2015-KainthKNVT #obfuscation
Hardware-assisted code obfuscation for FPGA soft microprocessors (MK, LK, CN, SGV, RT), pp. 127–132.
DATEDATE-2015-KriebelRSASH #analysis #combinator #configuration management #fault #named #performance
ACSEM: accuracy-configurable fast soft error masking analysis in combinatorial circuits (FK, SR, DS, PVA, MS, JH), pp. 824–829.
DATEDATE-2015-MirkhaniMCA #design #estimation #fault #performance
Efficient soft error vulnerability estimation of complex designs (SM, SM, CYC, JA), pp. 103–108.
DATEDATE-2015-TanLF #memory management #reliability #using
Soft-error reliability and power co-optimization for GPGPUS register file using resistive memory (JT, ZL, XF), pp. 369–374.
CHICHI-2015-HongHIL #named
SplitBoard: A Simple Split Soft Keyboard for Wristwatch-sized Touch Screens (JH, SH, PI, GL), pp. 1233–1236.
CHICHI-2015-LeivaSCH0
Text Entry on Tiny QWERTY Soft Keyboards (LAL, ASS, AC, NH, AS), pp. 669–678.
CHICHI-2015-PengMHM #3d #interactive
A Layered Fabric 3D Printer for Soft Interactive Objects (HP, JM, SEH, JM), pp. 1789–1798.
CHICHI-2015-Ruiz0 #bias #constraints #elicitation #gesture #legacy #performance
Soft-Constraints to Reduce Legacy and Performance Bias to Elicit Whole-body Gestures with Low Arm Fatigue (JR, DV), pp. 3347–3350.
HCIDUXU-DD-2015-Frankjaer #network #smarttech #social
Soft Computation in the Public Sphere: Enhancing Social Dynamics with Wearable Networks (TRF), pp. 447–457.
HCIDUXU-UI-2015-Chen15b #adaptation #interactive
Adapting Smart Textiles to Develop Soft Interactive Tool Kits for Applying in Sewing Projects (ACYC), pp. 611–621.
SEKESEKE-2015-MatturroFR #agile #bibliography
Soft Skills in Scrum Teams. A survey of the most valued to have by Product Owners and Scrum Masters (GM, CF, FR), pp. 42–45.
HPDCHPDC-2015-ElliottHM #fault #linear
A Numerical Soft Fault Model for Iterative Linear Solvers (JE, MH, FM), pp. 271–274.
LCTESLCTES-2015-LiuJLT #compilation #fault #lightweight #named
Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.
CASECASE-2014-ToneVS
Sheet type soft robot with magnetic fluid for object transportation (TT, FV, KS), pp. 852–857.
DACDAC-2014-HuangW #estimation #multi
Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.
DACDAC-2014-KiamehrOTN #analysis #approach #fault
Radiation-Induced Soft Error Analysis of SRAMs in SOI FinFET Technology: A Device to Circuit Approach (SK, THO, MBT, SRN), p. 6.
DACDAC-2014-KriebelRSSH #adaptation #fault #named
ASER: Adaptive Soft Error Resilience for Reliability-Heterogeneous Processors in the Dark Silicon Era (FK, SR, DS, MS, JH), p. 6.
DACDAC-2014-ShrivastavaRJW #analysis #control flow #fault
Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors (AS, AR, RJ, CJW), p. 6.
DATEDATE-2014-DasKVBM
Combined DVFS and mapping exploration for lifetime and soft-error susceptibility improvement in MPSoCs (AD, AK, BV, CB, AM), pp. 1–6.
DATEDATE-2014-EbrahimiETSCA #analysis #embedded #fault
Comprehensive analysis of alpha and neutron particle-induced soft errors in an embedded processor at nanoscales (ME, AE, MBT, RS, EC, DA), pp. 1–6.
DATEDATE-2014-GaoGWP #energy #fault #fault tolerance #framework #in the cloud #scheduling
An energy-aware fault tolerant scheduling framework for soft error resilient cloud computing systems (YG, SKG, YW, MP), pp. 1–6.
DATEDATE-2014-SchollW #hardware #implementation #set
Hardware implementation of a Reed-Solomon soft decoder based on information set decoding (SS, NW), pp. 1–6.
DATEDATE-2014-SinghSWPWC #analysis #specification
Cross-correlation of specification and RTL for soft IP analysis (BPS, AS, FGW, CAP, DJW, SC), pp. 1–6.
ICFPICFP-2014-NguyenTH #contract #verification
Soft contract verification (PCN, STH, DVH), pp. 139–152.
CHICHI-2014-Hudson #3d #interactive
Printing teddy bears: a technique for 3D printing of soft interactive objects (SEH), pp. 459–468.
HCIDUXU-DI-2014-FrankjaerG #hybrid #network #smarttech
Wearable Networks, Creating Hybrid Spaces with Soft Circuits (TRF, DG), pp. 435–445.
HCIDUXU-DP-2014-GilgenF #interactive #smarttech #user interface
From Wearables to Soft-Wear: Developing Soft User Interfaces by Seamlessly Integrating Interactive Technology into Fashionable Apparel (DG, TRF), pp. 253–260.
HCIDUXU-ELAS-2014-Chunpir0B #comprehension #using
Using Soft Systems Methodology (SSM) in Understanding Current User-Support Scenario in the Climate Science Domain of Cyber-Infrastructures (HIC, TL, AAB), pp. 495–506.
HCIHIMI-AS-2014-ItaiYM #ambiguity #interface
Soft Interface with the Ambiguity Creation of the Action by Avatar Controller Inducing the Embodiment (SI, TY, YM), pp. 413–422.
HCIHIMI-AS-2014-JangKJS #analysis #framework #reliability
A Framework of Human Reliability Analysis Method Considering Soft Control in Digital Main Control Rooms (IJ, ARK, WJ, PHS), pp. 335–346.
CIKMCIKM-2014-LengCWZL #constraints
Supervised Hashing with Soft Constraints (CL, JC, JW, XZ, HL), pp. 1851–1854.
ICMLICML-c2-2014-DaneshmandGSS #algorithm #complexity #network
Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity & Soft-thresholding Algorithm (HD, MGR, LS, BS), pp. 793–801.
ICPRICPR-2014-ChenB #multi
Soft Biometrics Integrated Multi-target Tracking (XC, BB), pp. 4146–4151.
ICPRICPR-2014-IslamCK #case study #forensics #geometry
A Preliminary Study of Lower Leg Geometry as a Soft Biometric Trait for Forensic Investigation (MRI, FKSC, AWKK), pp. 427–431.
HPCAHPCA-2014-KarpuzcuAK #named #towards
Accordion: Toward soft Near-Threshold Voltage Computing (URK, IA, NSK), pp. 72–83.
HPCAHPCA-2014-PalframanKL #fault
Precision-aware soft error protection for GPUs (DJP, NSK, MHL), pp. 49–59.
HPDCHPDC-2014-WuC #fault #named #online
FT-ScaLAPACK: correcting soft errors on-line for ScaLAPACK cholesky, QR, and LU factorization routines (PW, ZC), pp. 49–60.
ICLPICLP-J-2014-PimentelON #concurrent #constraints #programming #proving
A Proof Theoretic Study of Soft Concurrent Constraint Programming (EP, CO, VN), pp. 649–663.
DACDAC-2013-ChoMCAM #design #evaluation #fault #injection #robust
Quantitative evaluation of soft error injection techniques for robust system design (HC, SM, CYC, JAA, SM), p. 10.
DATEDATE-2013-KocBKE #detection #fault
Exploiting replicated checkpoints for soft error detection and correction (FK, KB, BK, OE), pp. 1494–1497.
DATEDATE-2013-LiSRRRAHP #configuration management #named
CSER: HW/SW configurable soft-error resiliency for application specific instruction-set processors (TL, MS, SR, SR, RGR, JAA, JH, SP), pp. 707–712.
DATEDATE-2013-LuZ #constraints #fault
Retiming for Soft Error Minimization Under Error-Latching Window Constraints (YL, HZ), pp. 1008–1013.
CHICHI-2013-OneyHOW #named #using
ZoomBoard: a diminutive qwerty soft keyboard using iterative zooming for ultra-small devices (SO, CH, AO, JW), pp. 2799–2802.
HCIDUXU-WM-2013-BreuerWU
User-Centered Soft Innovation in Established Business Fields (HB, ZW, EU), pp. 3–12.
HCIHCI-IMT-2013-NoguchiKSSOYST #evaluation #interface #multi
Evaluation of a Soft-Surfaced Multi-touch Interface (AN, TK, AS, YS, TO, TY, BS, JT), pp. 469–478.
HCIHIMI-HSM-2013-LeeJ #analysis #simulation #using
Task Analysis of Soft Control Operations Using Simulation Data in Nuclear Power Plants (SJL, WJ), pp. 524–529.
ICEISICEIS-v1-2013-SotoCBM #constraints #health
Nurse Rostering with Soft Constraints — Evidence from Chilean Mid-size Health Care Centers (RS, BC, RB, EM), pp. 430–435.
ICMLICML-c3-2013-WeinshallLH #topic #word
LDA Topic Model with Soft Assignment of Descriptors to Words (DW, GL, DH), pp. 711–719.
SACSAC-2013-BarreirosM #constraints #feature model #modelling
Configuration support for feature models with soft constraints (JB, AMDM), pp. 1307–1308.
SACSAC-2013-XuTTZ #approach #fault #fine-grained
An instruction-level fine-grained recovery approach for soft errors (JX, QT, LT, HZ), pp. 1511–1516.
HPDCHPDC-2013-DaviesC #fault #online
Correcting soft errors online in LU factorization (TD, ZC), pp. 167–178.
HPDCHPDC-2013-ZhouWSJS #parallel #realtime
Supporting parallel soft real-time applications in virtualized environment (LZ, SW, HS, HJ, XS), pp. 117–118.
LCTESLCTES-2013-StilkerichSEHLSS #embedded #virtual machine
A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
PPoPPPPoPP-2013-Chen #algorithm #detection #fault #fault tolerance #named #online
Online-ABFT: an online algorithm based fault tolerance scheme for soft error detection in iterative methods (ZC), pp. 167–176.
ICSTSAT-2013-FingerLGS #constraints #probability #satisfiability #using
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability (MF, RL, CPG, BS), pp. 233–249.
ICSTSAT-2013-FujitaKH #constraints #named #satisfiability
SCSat: A Soft Constraint Guided SAT Solver (HF, MK, RH), pp. 415–421.
DATEDATE-2012-DimitrakopoulosK #metaprogramming #multi #network
Dynamic-priority arbiter and multiplexer soft macros for on-chip networks switches (GD, EK), pp. 542–545.
AdaEuropeAdaEurope-2012-Garcia-VallsI #ada #configuration management #distributed #middleware #realtime
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA (MGV, FIV), pp. 35–48.
ICMLICML-2012-HoiWZ #learning
Exact Soft Confidence-Weighted Learning (SCHH, JW, PZ), p. 19.
ICMLICML-2012-QuadriantoCL #clique #graph #persistent #set
The Most Persistent Soft-Clique in a Set of Sampled Graphs (NQ, CC, CHL), p. 32.
ICPRICPR-2012-IrsoyYA
Soft decision trees (OI, OTY, EA), pp. 1819–1822.
ICPRICPR-2012-KangLH #adaptation #image
Fusing soft-decision-adaptive and bicubic methods for image interpolation (XK, SL, JH), pp. 1043–1046.
ICPRICPR-2012-LiuWXZS #classification
Soft-signed sparse coding for ground-based cloud classification (SL, CW, BX, ZZ, YS), pp. 2214–2217.
ICPRICPR-2012-LuHLC #recognition #using
Insect species recognition using discriminative local soft coding (AL, XH, CLL, XC), pp. 1221–1224.
KDDKDD-2012-JanWLL #classification
A simple methodology for soft cost-sensitive classification (TKJ, DWW, CHL, HTL), pp. 141–149.
KMISKMIS-2012-SaadKAR #concept #information management
Soft Systems Methodology — A Conceptual Model of Knowledge Management Systems Initiatives in Malaysian Public Universities (NHMS, HK, RAA, AAR), pp. 60–69.
MODELSMoDELS-2012-HegedusHRV #emf #modelling
Query-Driven Soft Interconnection of EMF Models (ÁH, ÁH, IR, DV), pp. 134–150.
MODELSMoDELS-2012-HegedusHRV #emf #modelling
Query-Driven Soft Interconnection of EMF Models (ÁH, ÁH, IR, DV), pp. 134–150.
SACSAC-2012-BistarelliCS #concurrent #constraints #coordination #programming
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming (SB, PC, FS), pp. 1551–1553.
SACSAC-2012-Skubch #constraints #realtime
Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.
LCTESLCTES-2012-KhudiaWM #embedded #fault #performance #using
Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.
CASECASE-2011-RatnakarZ #detection #using
An ultrasound system for tumor detection in soft tissues using low transient pulse (ARR, MZ), pp. 684–689.
CASECASE-2011-StyliosG #fuzzy #modelling #using
Modeling complex logistics systems using soft computing methodology of Fuzzy Cognitive Maps (CDS, GKG), pp. 72–77.
DACDAC-2011-ChenKCH #analysis #multi #reliability
Reliability analysis and improvement for multi-level non-volatile memories with soft information (SLC, BRK, JNC, CTH), pp. 753–758.
DACDAC-2011-IqbalSH #dependence #fault #monte carlo #named #power management #probability #scheduling
SEAL: soft error aware low power scheduling by Monte Carlo state space under the influence of stochastic spatial and temporal dependencies (NI, MAS, JH), pp. 134–139.
DACDAC-2011-ReviriegoMB #ad hoc #design #fault #memory management #reliability #sequence
Designing ad-hoc scrubbing sequences to improve memory reliability against soft errors (PR, JAM, SB), pp. 700–705.
DATEDATE-2011-FazeliAMAT #estimation #fault #multi
Soft error rate estimation of digital circuits in the presence of Multiple Event Transients (METs) (MF, SNA, SGM, HA, MBT), pp. 70–75.
DATEDATE-2011-HuangHL #fault
Cross-layer optimized placement and routing for FPGA soft error mitigation (KH, YH, XL), pp. 58–63.
CSEETCSEET-2011-RobinsonH #question #re-engineering
Software engineering or soft engineering? (KR, PSH), pp. 459–466.
KDIRKDIR-2011-MoralesCT #clustering
Clustering of Heterogeneously Typed Data with Soft Computing (AFKM, LECB, DTB), pp. 499–502.
SEKESEKE-2011-FarahatE #fault #performance
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.
HPCAHPCA-2011-YoonMCRJE #fault #memory management #named
FREE-p: Protecting non-volatile memory against both hard and soft errors (DHY, NM, JC, PR, NPJ, ME), pp. 466–477.
DATEDATE-2010-CupaiuoloST #architecture #detection #ml #throughput
Low-complexity high throughput VLSI architecture of soft-output ML MIMO detector (TC, MS, AT), pp. 1396–1401.
DATEDATE-2010-KranenburgL #architecture #implementation #named #robust
MB-LITE: A robust, light-weight soft-core implementation of the MicroBlaze architecture (TK, RvL), pp. 997–1000.
DATEDATE-2010-PakerEB #algorithm #architecture #low cost #multi #standard
A low cost multi-standard near-optimal soft-output sphere decoder: Algorithm and architecture (ÖP, SE, AB), pp. 1402–1407.
DATEDATE-2010-ShafikAC #design #embedded #optimisation #power management
Soft error-aware design optimization of low power and time-constrained embedded systems (RAS, BMAH, KC), pp. 1462–1467.
DATEDATE-2010-VadlamaniZBT #adaptation #composition #fault #manycore #using
Multicore soft error rate stabilization using adaptive dual modular redundancy (RV, JZ, WPB, RT), pp. 27–32.
DATEDATE-2010-WuM #scheduling
Clock skew scheduling for soft-error-tolerant sequential circuits (KCW, DM), pp. 717–722.
CHICHI-2010-BiSZ #optimisation
Quasi-qwerty soft keyboard optimization (XB, BAS, SZ), pp. 283–286.
ICEISICEIS-ISAS-2010-HoangK #quality
Goal, Soft-goal and Quality Requirement (TTHH, MK), pp. 13–22.
CIKMCIKM-2010-LinC #classification #multi
Mr.KNN: soft relevance for multi-label classification (XL, XwC), pp. 349–358.
ICPRICPR-2010-GuoMR #database #performance #recognition #scalability #using
Cross-Age Face Recognition on a Very Large Database: The Performance versus Age Intervals and Improvement Using Soft Biometric Traits (GG, GM, KR), pp. 3392–3395.
SEKESEKE-2010-LopezN #case study #requirements
Soft Systems in Requirements Engineering: A Case Study (AYL, NN), pp. 38–41.
SACSAC-2010-SantanaLM #clustering #realtime #web
Load forecasting applied to soft real-time web clusters (CS, JCBL, DM), pp. 346–350.
SPLCSPLC-2010-BagheriNRG #configuration management #feature model #modelling #product line #requirements
Configuring Software Product Line Feature Models Based on Stakeholders’ Soft and Hard Requirements (EB, TDN, AR, DG), pp. 16–31.
ASPLOSASPLOS-2010-FengGAM #fault #named #probability #reliability #string
Shoestring: probabilistic soft error reliability on the cheap (SF, SG, AA, SAM), pp. 385–396.
HPDCHPDC-2010-LimPF #named #performance #using
SoftPower: fine-grain power estimations using performance counters (MYL, AP, RJF), pp. 308–311.
HPDCHPDC-2010-RivasAN #architecture #named #realtime
Janus: a cross-layer soft real-time architecture for virtualization (RR, MAA, KN), pp. 676–683.
LCTESLCTES-2010-ShrivastavaLJ #embedded #equation #fault
Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.
ICLPICLP-2010-Maher10 #approximate #constraints
Contractibility and Contractible Approximations of Soft Global Constraints (MJM), pp. 114–123.
ASEASE-2009-Jenson #component #constraints #dependence #validation #verification
Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.
ASEASE-2009-MunkbyS #fault tolerance #predict #type inference
Type Inference for Soft-Error Fault-Tolerance Prediction (GM, SS), pp. 65–75.
CASECASE-2009-GaoKJD #automation #modelling #simulation
Semi-automated soft-tissue acquisition and modeling for surgical simulation (ZG, TK, DLJ, JPD), pp. 268–273.
DACDAC-2009-KrishnaswamyMH #testing
Improving testability and soft-error resilience through retiming (SK, ILM, JPH), pp. 508–513.
DACDAC-2009-PellauerACE #composition #problem
Soft connections: addressing the hardware-design modularity problem (MP, MA, DC, JSE), pp. 276–281.
DACDAC-2009-ShengXM #algorithm #fault #multi #optimisation #search-based #standard
Soft error optimization of standard cell circuits based on gate sizing and multi-objective genetic algorithm (WS, LX, ZM), pp. 502–507.
DATEDATE-2009-BhagawatDC #architecture #detection
Systolic like soft-detection architecture for 4×4 64-QAM MIMO system (PB, RD, GC), pp. 870–873.
DATEDATE-2009-GhermanECSB
System-level hardware-based protection of memories against soft-errors (VG, SE, MC, NS, YB), pp. 1222–1225.
DATEDATE-2009-HolcombLS #analysis #design #fault
Design as you see FIT: System-level soft error analysis of sequential circuits (DEH, WL, SAS), pp. 785–790.
DATEDATE-2009-LeeS #fault #static analysis
Static analysis to mitigate soft errors in register files (JL, AS), pp. 1367–1372.
DATEDATE-2009-LiFNBPC #architecture #co-evolution #design #detection #ml #parallel #set
Algorithm-architecture co-design of soft-output ML MIMO detector for parallel application specific instruction set processors (ML, RF, DN, BB, LVdP, FC), pp. 1608–1613.
DATEDATE-2009-ReordaVMR #embedded #low cost
A low-cost SEE mitigation solution for soft-processors embedded in Systems on Pogrammable Chips (MSR, MV, CM, RR), pp. 352–357.
ICDARICDAR-2009-ZhuGGZ #framework #learning #online #probability #recognition
A Probabilistic Framework for Soft Target Learning in Online Cursive Handwriting Recognition (XZ, YG, FJG, LXZ), pp. 1246–1250.
VLDBVLDB-2009-KimuraHRMZ #correlation #dependence #functional
Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies (HK, GH, AR, SM, SBZ), pp. 1222–1233.
CSEETCSEET-2009-GotelKSSS #education #re-engineering
A Global and Competition-Based Model for Fostering Technical and Soft Skills in Software Engineering Education (OG, VK, MS, CS, TS), pp. 271–278.
WRLAWRLA-2008-HolzlMW09 #constraints #question
Which Soft Constraints do you Prefer? (MMH, MM, MW), pp. 189–205.
PLDIPLDI-2009-NagarakatteZMZ #bound #c #memory management #named #safety
SoftBound: highly compatible and complete spatial memory safety for c (SN, JZ, MMKM, SZ), pp. 245–258.
CHICHI-2009-LeeZ #performance
The performance of touch screen soft buttons (SL, SZ), pp. 309–318.
SACSAC-2009-ChenR #adaptation #quality #realtime
Adaptive optimal checkpoint interval and its impact on system’s overall quality in soft real-time applications (NC, SR), pp. 1015–1020.
SACSAC-2009-LaiRC #embedded #on the #realtime #scheduling
On scheduling soft real-time tasks with lock-free synchronization for embedded devices (SL, BR, HC), pp. 1685–1686.
SACSAC-2009-YangLLW #approach #approximate #constraints #theorem proving
An approximate approach to constraint solving in soft sensing (TY, ZL, XL, HW), pp. 1415–1416.
CGOCGO-2009-YuGS #fault tolerance #named
ESoftCheck: Removal of Non-vital Checks for Fault Tolerance (JY, MJG, MS), pp. 35–46.
HPCAHPCA-2009-FuLF #fault #process
Soft error vulnerability aware process variation mitigation (XF, TL, JABF), pp. 93–104.
LCTESLCTES-2009-LeeS #compilation #fault #optimisation
A compiler optimization to reduce soft errors in register files (JL, AS), pp. 41–49.
DATEDATE-2008-BriaoBW #realtime
Dynamic Task Allocation Strategies in MPSoC for Soft Real-time Applications (EWB, DB, FRW), pp. 1386–1389.
DATEDATE-2008-GizopoulosRMS #case study #fault
Soft Errors: System Effects, Protection Techniques and Case Studies (DG, KR, SM, PS).
DATEDATE-2008-IzosimovPEP #constraints #embedded #fault tolerance #scheduling
Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints (VI, PP, PE, ZP), pp. 915–920.
HTHT-2008-GaffneyDW #authoring #bibliography #simulation #tool support
A survey of soft skill simulation authoring tools (CG, DD, VW), pp. 181–186.
PODSPODS-2008-JhaRS #constraints #evaluation #query
Query evaluation with soft-key constraints (AKJ, VR, DS), pp. 119–128.
WCREWCRE-2008-Blasband
Hard Facts vs Soft Facts (DB), pp. 301–304.
ICPRICPR-2008-GamboaF #classification #nondeterminism #testing
Uncertainty based classification fusion — a soft-biometrics test case (HG, ALNF), pp. 1–4.
ICPRICPR-2008-YamashitaFLK #online
Human tracking based on Soft Decision Feature and online real boosting (TY, HF, SL, MK), pp. 1–4.
SIGIRSIGIR-2008-GuiverS #learning #process #rank
Learning to rank with SoftRank and Gaussian processes (JG, ES), pp. 259–266.
RERE-2008-ThewS #process
Investigating the Role of “Soft Issues” in the RE Process (ST, AGS), pp. 63–66.
SACSAC-2008-ChengC #monitoring #named #programmable #thread
SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.
SACSAC-2008-GuerraLF #constraints #energy #realtime #web
Attaining soft real-time constraint and energy-efficiency in web servers (RG, JCBL, GF), pp. 2085–2089.
ASPLOSASPLOS-2008-TuckACT #analysis #hardware #named #optimisation
SoftSig: software-exposed hardware signatures for code analysis and optimization (JT, WA, LC, JT), pp. 145–156.
ICLPICLP-2008-BistarelliGLR #approach #multi #optimisation
A Soft Approach to Multi-objective Optimization (SB, FG, JL, ER), pp. 764–768.
ICLPICLP-2008-Santini #constraints #quality
Managing Quality of Service with Soft Constraints (FS), pp. 815–817.
DATEDATE-2007-GillPW #fault #interactive #power management #symmetry
Interactive presentation: A new asymmetric SRAM cell to reduce soft errors and leakage power in FPGA (BSG, CAP, FGW), pp. 1460–1465.
DATEDATE-2007-HungIGS #fault
Utilization of SECDED for soft error and variation-induced defect tolerance in caches (LDH, HI, MG, SS), pp. 1134–1139.
DATEDATE-2007-KraemerLAM #interactive #parallel #program transformation #source code #using
Interactive presentation: SoftSIMD — exploiting subword parallelism using source code transformations (SK, RL, GA, HM), pp. 1349–1354.
DATEDATE-2007-Miskov-ZivanovM #analysis #fault
Soft error rate analysis for sequential circuits (NMZ, DM), pp. 1436–1441.
DATEDATE-2007-QiuXSS #embedded #energy #multi #realtime
Energy minimization with soft real-time and DVS for uniprocessor and multiprocessor embedded systems (MQ, CX, ZS, EHMS), pp. 1641–1646.
DATEDATE-2007-SeshiaLM #fault
Verification-guided soft error resilience (SAS, WL, SM), pp. 1442–1447.
DATEDATE-2007-SheldonVL #design #interactive #paradigm #using
Interactive presentation: Soft-core processor customization using the design of experiments paradigm (DS, FV, SL), pp. 821–826.
DATEDATE-2007-SinanogluP #approach
A non-intrusive isolation approach for soft cores (OS, TP), pp. 27–32.
WRLAWRLA-2006-WirsingDTPB07 #constraints #framework #logic
A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.
VISSOFTVISSOFT-2007-SawantB #architecture #named #visualisation
SoftArchViz: A Software Architecture Visualization Tool (APS, NB), pp. 154–155.
SIGIRSIGIR-2007-SevillanoAS #clustering #named
BordaConsensus: a new consensus function for soft cluster ensembles (XS, FA, JCS), pp. 743–744.
QAPLQAPL-2007-BistarelliMRS #constraints #graph #logic programming #modelling #multi #using
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (SB, UM, FR, FS), pp. 111–127.
ESEC-FSEESEC-FSE-2007-KumarSCP #analysis #design #framework #optimisation #realtime #statistics
A profile-driven statistical analysis framework for the design optimization of soft real-time applications (TK, JS, RC, SP), pp. 529–532.
ICSEICSE-2007-AdarK #named #visualisation
SoftGUESS: Visualization and Exploration of Code Clones in Context (EA, MK), pp. 762–766.
CSLCSL-2007-GaboardiR #calculus
A Soft Type Assignment System for λ -Calculus (MG, SRDR), pp. 253–267.
DACDAC-2006-AziziN #product line
A family of cells to reduce the soft-error-rate in ternary-CAM (NA, FNN), pp. 779–784.
DACDAC-2006-Miskov-ZivanovM #fault #modelling #named #reduction
MARS-C: modeling and reduction of soft errors in combinational circuits (NMZ, DM), pp. 767–772.
DATEDATE-2006-GillPW #analysis #fault #logic
Soft delay error analysis in logic circuits (BSG, CAP, FGW), pp. 47–52.
DATEDATE-2006-IgnatNSN #classification #impact analysis #operating system #realtime
Soft-error classification and impact analysis on real-time operating systems (NI, BN, YS, GN), pp. 182–187.
DATEDATE-2006-KrautzP0TWV #detection #fault #formal method #logic #using
Evaluating coverage of error detection logic for soft errors using formal methods (UK, MP, CJ, HWT, KW, HTV), pp. 176–181.
DATEDATE-2006-RaoCBS #algorithm #fault #performance
An efficient static algorithm for computing the soft error rates of combinational circuits (RRR, KC, DB, DS), pp. 164–169.
DACDAC-2005-MitraKSZ #challenge #design #fault #logic
Logic soft errors in sub-65nm technologies design and CAD challenges (SM, TK, NS, MZ), pp. 2–4.
DATEDATE-2005-DhillonDC #analysis #optimisation
Soft-Error Tolerance Analysis and Optimization of Nanometer Circuits (YSD, AUD, AC), pp. 288–293.
DATEDATE-2005-HuLDKVI #detection #fault
Compiler-Directed Instruction Duplication for Soft Error Detection (JSH, FL, VD, MTK, NV, MJI), pp. 1056–1057.
DATEDATE-2005-LyseckyV #case study #clustering #hardware #using
A Study of the Speedups and Competitiveness of FPGA Soft Processor Cores using Dynamic Hardware/Software Partitioning (RLL, FV), pp. 18–23.
DATEDATE-2005-WongLLHP #realtime #scheduling
Scheduling of Soft Real-Time Systems for Context-Aware Applications (JLW, WL, FL, LH, MP), pp. 318–323.
IWPCIWPC-2005-Koskinen #tool support
HyperSoft System: Tool Demonstration and Use Example (JK), pp. 153–156.
MLDMMLDM-2005-KotsiantisTP #estimation #random
Bagging Random Trees for Estimation of Tissue Softness (SBK, GET, PEP), pp. 674–681.
SIGIRSIGIR-2005-CuiKC #modelling
Generic soft pattern models for definitional question answering (HC, MYK, TSC), pp. 384–391.
SACSAC-2005-BordognaP #sql
Extending SQL with customizable soft selection conditions (GB, GP), pp. 1107–1111.
HPCAHPCA-2005-MukherjeeER #architecture #fault #perspective #problem
The Soft Error Problem: An Architectural Perspective (SSM, JSE, SKR), pp. 243–247.
CAVCAV-2005-IvancicYGGSA #framework #named #verification
F-Soft: Software Verification Platform (FI, ZY, MKG, AG, IS, PA), pp. 301–306.
DACDAC-2004-ZhaoBD #analysis #scalability
A scalable soft spot analysis methodology for compound noise effects in nano-meter circuits (CZ, XB, SD), pp. 894–899.
DATEDATE-DF-2004-ZeferinoKS #named
RASoC: A Router Soft-Core for Networks-on-Chip (CAZ, MEK, AAS), pp. 198–205.
DATEDATE-v1-2004-BrunelNFGL #development #named #process
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract (JYB, MDN, AF, PG, LL), pp. 358–363.
DATEDATE-v2-2004-Al-ArsG #fault #in memory #memory management #testing
Soft Faults and the Importance of Stresses in Memory Testing (ZAA, AJvdG), pp. 1084–1091.
DATEDATE-v2-2004-CortesEP #realtime #scheduling
Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks (LAC, PE, ZP), pp. 1176–1183.
SIGMODSIGMOD-2004-IlyasMHBA #automation #correlation #dependence #functional #named
CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies (IFI, VM, PJH, PB, AA), pp. 647–658.
FoSSaCSFoSSaCS-2004-BaillotM #polynomial #λ-calculus
Soft λ-Calculus: A Language for Polynomial Time Computation (PB, VM), pp. 27–41.
PASTEPASTE-2004-Godefroid #model checking
Invited Talk: “Model checking” software with VeriSoft (PG), p. 36.
CHICHI-2004-Isokoski #performance
Performance of menu-augmented soft keyboards (PI), pp. 423–430.
CIKMCIKM-2004-ZhaoK #clustering #documentation #summary
Soft clustering criterion functions for partitional document clustering: a summary of results (YZ, GK), pp. 246–247.
SACSAC-2004-BistarelliFO #constraints #detection #modelling #problem #using
Modeling and detecting the cascade vulnerability problem using soft constraints (SB, SNF, BO), pp. 383–390.
ASPLOSASPLOS-2004-SmolensGKFHN #bound #detection #latency #named
Fingerprinting: bounding soft-error detection latency and bandwidth (JCS, BTG, JK, BF, JCH, AN), pp. 224–234.
FATESFATES-2004-Frutos-EscrigG #consistency
Preserving Contexts for Soft Conformance Relation (DdFE, CGR), pp. 33–48.
DATEDATE-2003-LaurentK #validation
A System to Validate and Certify Soft and Hard IP (BL, TK), pp. 20208–20213.
DATEDATE-2003-NicolescuV #approach #detection #fault #tool support
Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results (BN, RV), pp. 20057–20063.
DATEDATE-2003-RebaudengoRV #analysis #fault #pipes and filters
An Accurate Analysis of the Effects of Soft Errors in the Instruction and Data Caches of a Pipelined Microprocessor (MR, MSR, MV), pp. 10602–10607.
DocEngDocEng-2003-GarainDMC #pattern matching
Compression of scan-digitized Indian language printed text: a soft pattern matching technique (UG, SD, AM, BBC), pp. 185–192.
PODSPODS-2003-Behrend #database #deduction #evaluation #query #set
Soft stratification for magic set based query evaluation in deductive databases (AB), pp. 102–110.
CSEETCSEET-2003-LatzinaR #collaboration #usability
Soft(ware) Skills in Context: Corporate Usability Training Aiming at Cross-Disciplinary Collaboration (ML, BR), p. 52–?.
ICSEICSE-2003-Dingel #reasoning
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft (JD), pp. 138–148.
SOSPSOSP-2003-YuanN #cpu #energy #mobile #multi #realtime #scheduling
Energy-efficient soft real-time CPU scheduling for mobile multimedia systems (WY, KN), pp. 149–163.
DATEDATE-2002-ChuY #design
Non-Rectangular Shaping and Sizing of Soft Modules in Floorplan Design (CCNC, EFYY), p. 1101.
ESOPESOP-2002-BistarelliMR #concurrent #constraints #programming
Soft Concurrent Constraint Programming (SB, UM, FR), pp. 53–67.
WCREWCRE-2002-TahvildariK #graph #maintenance #using
A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph (LT, KK), p. 77–?.
CIKMCIKM-2002-NahmM #mining
Mining soft-matching association rules (UYN, RJM), pp. 681–683.
ICPRICPR-v1-2002-ZhangGSS #2d #image #sequence #using
Recovering Elastic Property of Soft Tissues Using 2D Image Sequences With Limited Range Data (YZ, DBG, SS, MCS), pp. 755–758.
SACSAC-2002-BistarelliFM #constraints
Soft constraint propagation and solving in CHRs (SB, TWF, MM), pp. 1–5.
HPCAHPCA-2002-GurumurthiSIVKLJ #approach #estimation #simulation #using
Using Complete Machine Simulation for Software Power Estimation: The SoftWatt Approach (SG, AS, MJI, NV, MTK, TL, LKJ), pp. 141–150.
DACDAC-2001-SanghaviW #estimation #power of
Estimation of Speed, Area, and Power of Parameterizable, Soft IP (JVS, AW), pp. 31–34.
DATEDATE-2001-Wilson #challenge #design #hardware
Managing the SoC design challenge with “Soft” hardware (RW), pp. 610–611.
SASSAS-2001-SharpM #hardware #scheduling
Soft Scheduling for Hardware (RS, AM), pp. 57–72.
ICEISICEIS-v1-2001-ShahabiC #framework #image #query #retrieval
A Unified Framework to Incorporate Soft Query into Image Retrieval Systems (CS, YSC), pp. 216–224.
ICMLICML-2001-PellegM #clustering
Mixtures of Rectangles: Interpretable Soft Clustering (DP, AWM), pp. 401–408.
PADLPADL-2001-BellaB #analysis #constraints #protocol #security
Soft Constraints for Security Protocol Analysis: Confidentiality (GB, SB), pp. 108–122.
ICPRICPR-v1-2000-Mitchell #analysis #documentation #layout #segmentation #using
Document Page Segmentation and Layout Analysis Using Soft Ordering (PEM, HY), pp. 1458–1461.
KDDKDD-2000-CohenKM
Hardening soft information sources (WWC, HAK, DAM), pp. 255–259.
KRKR-2000-BisoRS #constraints #learning
Experimental Results on Learning Soft Constraints (AB, FR, AS), pp. 435–444.
PADLPADL-2000-BistarelliCGR #consistency #constraints #programming
Labeling and Partial Local Consistency for Soft Constraint Programming (SB, PC, YG, FR), pp. 230–248.
ICSEICSE-2000-Orsted #development
Software development engineer in Microsoft: a subjective view of soft skills required (MO), pp. 539–540.
ICSEICSE-2000-Riva #3d #visualisation
Visualizing software release histories with 3DSoftVis (CR), p. 789.
DACDAC-1999-SuWL #interactive
A Timing-Driven Soft-Macro Resynthesis Method in Interaction with Chip Floorplanning (HPS, ACHW, YLL), pp. 262–267.
DACDAC-1999-ZhuG #scheduling #synthesis
Soft Scheduling in High Level Synthesis (JZ, DG), pp. 219–224.
CHICHI-1999-MacKenzieZ #design #evaluation
The Design and Evaluation of a High-Performance Soft Keyboard (ISM, SXZ), pp. 25–31.
CIKMCIKM-1999-KaoLACL #database #maintenance #realtime
Updates and View Maintenance in Soft Real-Time Database Systems (BK, KyL, BA, RC, TSHL), pp. 300–307.
SOSPSOSP-1999-AronD #network #performance
Soft timers: efficient microsecond software timer support for network processing (MA, PD), pp. 232–246.
DATEDATE-1998-OlcozCGG #static analysis #tool support
Static Analysis Tools for Soft-Core Reviews and Audits (SO, AC, MG, JAG), pp. 935–936.
ISSTAISSTA-1998-GodefroidHJ #analysis #model checking #monitoring #using
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft (PG, RSH, LJJ), pp. 124–133.
CADECADE-1997-GanzingerMW #order #type system
Soft Typing for Ordered Resolution (HG, CM, CW), pp. 321–335.
CAVCAV-1997-Godefroid #analysis #automation #concurrent #named
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software (PG), pp. 476–479.
ITiCSEITiCSE-1996-Beise #education #internet #tool support
Integrating Internet tools into the soft side of informatics education (CMB), pp. 107–108.
SEKESEKE-1996-CleavelandLLS #formal method #process #realtime #testing
A Theory of Testing for Soft Real-Time Processes (RC, IL, PML, SAS), pp. 474–479.
REICRE-1996-BustardDC #analysis #object-oriented
Integrating Soft Systems and Object-Oriented Analysis (DWB, TJD, BNC), pp. 52–59.
ASPLOSASPLOS-1996-ErlichsonNCH #clustering #distributed #memory management #named #performance
SoftFLASH: Analyzing the Performance of Clustered Distributed Virtual Shared Memory (AE, NN, GC, JLH), pp. 210–220.
ICDARICDAR-v1-1995-StrathyS #classification #multi #network
A two-stage multi-network OCR system with a soft pre-classifier and a network selector (NWS, CYS), pp. 78–81.
SIGMODSIGMOD-1995-AdelbergGK #database #realtime
Applying Update Streams in a Soft Real-Time Database System (BA, HGM, BK), pp. 245–256.
RERE-1995-BustardL #analysis #formal method #modelling
Enhancing soft systems analysis with formal modelling (DWB, PJL), pp. 164–171.
SACSAC-1995-FathiTHH #development
Development of objective functions for soft computing in medical applications (MF, CT, KH, JH), pp. 562–564.
LISPLFP-1994-WrightC #type system
A Practical Soft Type System for Scheme (AKW, RC), pp. 250–262.
POPLPOPL-1994-AikenWL #type system
Soft Typing with Conditional Types (AA, ELW, TKL), pp. 163–173.
DACDAC-1993-Lee #2d #algorithm #bound #design
A Bounded 2D Contour Searching Algorithm for Floorplan Design with Arbitrarily Shaped Rectilinear and Soft Modules (TcL), pp. 525–530.
TOOLSTOOLS-USA-1993-MiliL #abstraction #automation #object-oriented #reuse
Data Abstraction in SoftClass, an OO CASE Tool for Software Reuse (HM, HL), pp. 133–149.
ESOPESOP-1992-Tarlecki #specification
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft (AT), pp. 451–472.
AdaTRI-Ada-C-1992-BurgerBVTSB #ada #distributed #source code
A Practical Tool for Distributing Ada Programs: TeleSoft’s Distributed Ada Configuration Tool (TB, JBB, RAV, RT, GS, KHB), pp. 484–492.
CSEETSEI-1991-Shafer #physics
Keynote Address: Soft Ware for Hard Physics (SS), pp. 1–2.
PLDIPLDI-1991-CartwrightF #type system
Soft Typing (RC, MF), pp. 278–292.
PLDIBest-of-PLDI-1991-CartwrightF91a #type system
Soft typing (with retrospective) (RC, MF), pp. 412–428.
TOOLSTOOLS-USA-1991-Mili #named #object-oriented #reuse
SoftClass: An Object-Oriented Tool for Software Reuse (HM), pp. 303–318.
FMVDME-1990-BednarczykBP90a #semantics #towards
Towards the Semantics of the Definitional Language of MetaSoft (MAB, AMB, WP), pp. 471–503.
FMVDME-1988-BorzyszkowskiKS #formal method #polymorphism #λ-calculus
A Set-Theoretic Model for a Typed Polymorphic λ Calculus — A Contribution to MetaSoft (AMB, RK, SS), pp. 267–298.
SIGIRSIGIR-1985-SaltonV #automation
Automatic Assignment of Soft Boolean Operators (GS, EMV), pp. 54–69.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.