Stem soft$ (all stems)

246 papers:

CASE-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.

CASE-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.

CASE-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.

CASE-2015-ToneS

Deforming control for object transportation with ferrofluid-based sheet-type soft robot (TT, KS), pp. 1171–1176.

DAC-2015-ChoCSM #component #comprehension #fault

Understanding soft errors in uncore components (HC, CYC, TS, SM), p. 6.

DATE-2015-KainthKNVT #obfuscation

Hardware-assisted code obfuscation for FPGA soft microprocessors (MK, LK, CN, SGV, RT), pp. 127–132.

DATE-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.

DATE-2015-MirkhaniMCA #design #estimation #fault #performance

Efficient soft error vulnerability estimation of complex designs (SM, SM, CYC, JA), pp. 103–108.

DATE-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.

CHI-2015-HongHIL #named

SplitBoard: A Simple Split Soft Keyboard for Wristwatch-sized Touch Screens (JH, SH, PI, GL), pp. 1233–1236.

CHI-2015-LeivaSCH0

Text Entry on Tiny QWERTY Soft Keyboards (LAL, ASS, AC, NH, AS), pp. 669–678.

CHI-2015-PengMHM #3d #interactive

A Layered Fabric 3D Printer for Soft Interactive Objects (HP, JM, SEH, JM), pp. 1789–1798.

CHI-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.

DUXU-DD-2015-Frankjaer #network #smarttech #social

Soft Computation in the Public Sphere: Enhancing Social Dynamics with Wearable Networks (TRF), pp. 447–457.

DUXU-UI-2015-Chen15b #adaptation #interactive

Adapting Smart Textiles to Develop Soft Interactive Tool Kits for Applying in Sewing Projects (ACYC), pp. 611–621.

SEKE-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.

HPDC-2015-ElliottHM #fault #linear

A Numerical Soft Fault Model for Iterative Linear Solvers (JE, MH, FM), pp. 271–274.

LCTES-2015-LiuJLT #compilation #fault #lightweight #named

Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.

CASE-2014-ToneVS

Sheet type soft robot with magnetic fluid for object transportation (TT, FV, KS), pp. 852–857.

DAC-2014-HuangW #estimation #multi

Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.

DAC-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.

DAC-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.

DAC-2014-ShrivastavaRJW #analysis #control flow #fault

Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors (AS, AR, RJ, CJW), p. 6.

DATE-2014-DasKVBM

Combined DVFS and mapping exploration for lifetime and soft-error susceptibility improvement in MPSoCs (AD, AK, BV, CB, AM), pp. 1–6.

DATE-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.

DATE-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.

DATE-2014-SchollW #hardware #implementation #set

Hardware implementation of a Reed-Solomon soft decoder based on information set decoding (SS, NW), pp. 1–6.

DATE-2014-SinghSWPWC #analysis #specification

Cross-correlation of specification and RTL for soft IP analysis (BPS, AS, FGW, CAP, DJW, SC), pp. 1–6.

ICFP-2014-NguyenTH #contract #verification

Soft contract verification (PCN, STH, DVH), pp. 139–152.

CHI-2014-Hudson #3d #interactive

Printing teddy bears: a technique for 3D printing of soft interactive objects (SEH), pp. 459–468.

DUXU-DI-2014-FrankjaerG #hybrid #network #smarttech

Wearable Networks, Creating Hybrid Spaces with Soft Circuits (TRF, DG), pp. 435–445.

DUXU-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.

DUXU-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.

HIMI-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.

HIMI-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.

CIKM-2014-LengCWZL #constraints

Supervised Hashing with Soft Constraints (CL, JC, JW, XZ, HL), pp. 1851–1854.

ICML-c2-2014-DaneshmandGSS #algorithm #complexity #network

Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity & Soft-thresholding Algorithm (HD, MGR, LS, BS), pp. 793–801.

ICPR-2014-ChenB #multi

Soft Biometrics Integrated Multi-target Tracking (XC, BB), pp. 4146–4151.

ICPR-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.

HPCA-2014-KarpuzcuAK #named #towards

Accordion: Toward soft Near-Threshold Voltage Computing (URK, IA, NSK), pp. 72–83.

HPCA-2014-PalframanKL #fault

Precision-aware soft error protection for GPUs (DJP, NSK, MHL), pp. 49–59.

HPDC-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.

ICLP-J-2014-PimentelON #concurrent #constraints #programming #proving

A Proof Theoretic Study of Soft Concurrent Constraint Programming (EP, CO, VN), pp. 649–663.

DAC-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.

DATE-2013-KocBKE #detection #fault

Exploiting replicated checkpoints for soft error detection and correction (FK, KB, BK, OE), pp. 1494–1497.

DATE-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.

DATE-2013-LuZ #constraints #fault

Retiming for Soft Error Minimization Under Error-Latching Window Constraints (YL, HZ), pp. 1008–1013.

CHI-2013-OneyHOW #named #using

ZoomBoard: a diminutive qwerty soft keyboard using iterative zooming for ultra-small devices (SO, CH, AO, JW), pp. 2799–2802.

DUXU-WM-2013-BreuerWU

User-Centered Soft Innovation in Established Business Fields (HB, ZW, EU), pp. 3–12.

HCI-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.

HIMI-HSM-2013-LeeJ #analysis #simulation #using

Task Analysis of Soft Control Operations Using Simulation Data in Nuclear Power Plants (SJL, WJ), pp. 524–529.

ICEIS-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.

ICML-c3-2013-WeinshallLH #topic #word

LDA Topic Model with Soft Assignment of Descriptors to Words (DW, GL, DH), pp. 711–719.

SAC-2013-BarreirosM #constraints #feature model #modelling

Configuration support for feature models with soft constraints (JB, AMDM), pp. 1307–1308.

SAC-2013-XuTTZ #approach #fault #fine-grained

An instruction-level fine-grained recovery approach for soft errors (JX, QT, LT, HZ), pp. 1511–1516.

HPDC-2013-DaviesC #fault #online

Correcting soft errors online in LU factorization (TD, ZC), pp. 167–178.

HPDC-2013-ZhouWSJS #parallel #realtime

Supporting parallel soft real-time applications in virtualized environment (LZ, SW, HS, HJ, XS), pp. 117–118.

LCTES-2013-StilkerichSEHLSS #embedded #virtual machine

A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.

PPoPP-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.

SAT-2013-FingerLGS #constraints #probability #satisfiability #using

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability (MF, RL, CPG, BS), pp. 233–249.

SAT-2013-FujitaKH #constraints #named #satisfiability

SCSat: A Soft Constraint Guided SAT Solver (HF, MK, RH), pp. 415–421.

DATE-2012-DimitrakopoulosK #metaprogramming #multi #network

Dynamic-priority arbiter and multiplexer soft macros for on-chip networks switches (GD, EK), pp. 542–545.

AdaEurope-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.

ICML-2012-HoiWZ #learning

Exact Soft Confidence-Weighted Learning (SCHH, JW, PZ), p. 19.

ICML-2012-QuadriantoCL #clique #graph #persistent #set

The Most Persistent Soft-Clique in a Set of Sampled Graphs (NQ, CC, CHL), p. 32.

ICPR-2012-IrsoyYA

Soft decision trees (OI, OTY, EA), pp. 1819–1822.

ICPR-2012-KangLH #adaptation #image

Fusing soft-decision-adaptive and bicubic methods for image interpolation (XK, SL, JH), pp. 1043–1046.

ICPR-2012-LiuWXZS #classification

Soft-signed sparse coding for ground-based cloud classification (SL, CW, BX, ZZ, YS), pp. 2214–2217.

ICPR-2012-LuHLC #recognition #using

Insect species recognition using discriminative local soft coding (AL, XH, CLL, XC), pp. 1221–1224.

KDD-2012-JanWLL #classification

A simple methodology for soft cost-sensitive classification (TKJ, DWW, CHL, HTL), pp. 141–149.

KMIS-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.

MoDELS-2012-HegedusHRV #emf #modelling

Query-Driven Soft Interconnection of EMF Models (ÁH, ÁH, IR, DV), pp. 134–150.

MoDELS-2012-HegedusHRV #emf #modelling

Query-Driven Soft Interconnection of EMF Models (ÁH, ÁH, IR, DV), pp. 134–150.

SAC-2012-BistarelliCS #concurrent #constraints #coordination #programming

A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming (SB, PC, FS), pp. 1551–1553.

SAC-2012-Skubch #constraints #realtime

Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.

LCTES-2012-KhudiaWM #embedded #fault #performance #using

Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.

CASE-2011-RatnakarZ #detection #using

An ultrasound system for tumor detection in soft tissues using low transient pulse (ARR, MZ), pp. 684–689.

CASE-2011-StyliosG #fuzzy #modelling #using

Modeling complex logistics systems using soft computing methodology of Fuzzy Cognitive Maps (CDS, GKG), pp. 72–77.

DAC-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.

DAC-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.

DAC-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.

DATE-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.

DATE-2011-HuangHL #fault

Cross-layer optimized placement and routing for FPGA soft error mitigation (KH, YH, XL), pp. 58–63.

CSEET-2011-RobinsonH #question #re-engineering

Software engineering or soft engineering? (KR, PSH), pp. 459–466.

KDIR-2011-MoralesCT #clustering

Clustering of Heterogeneously Typed Data with Soft Computing (AFKM, LECB, DTB), pp. 499–502.

SEKE-2011-FarahatE #fault #performance

Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.

HPCA-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.

DATE-2010-CupaiuoloST #architecture #detection #ml #throughput

Low-complexity high throughput VLSI architecture of soft-output ML MIMO detector (TC, MS, AT), pp. 1396–1401.

DATE-2010-KranenburgL #architecture #implementation #named #robust

MB-LITE: A robust, light-weight soft-core implementation of the MicroBlaze architecture (TK, RvL), pp. 997–1000.

DATE-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.

DATE-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.

DATE-2010-VadlamaniZBT #adaptation #composition #fault #manycore #using

Multicore soft error rate stabilization using adaptive dual modular redundancy (RV, JZ, WPB, RT), pp. 27–32.

DATE-2010-WuM #scheduling

Clock skew scheduling for soft-error-tolerant sequential circuits (KCW, DM), pp. 717–722.

CHI-2010-BiSZ #optimisation

Quasi-qwerty soft keyboard optimization (XB, BAS, SZ), pp. 283–286.

ICEIS-ISAS-2010-HoangK #quality

Goal, Soft-goal and Quality Requirement (TTHH, MK), pp. 13–22.

CIKM-2010-LinC #classification #multi

Mr.KNN: soft relevance for multi-label classification (XL, XwC), pp. 349–358.

ICPR-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.

SEKE-2010-LopezN #case study #requirements

Soft Systems in Requirements Engineering: A Case Study (AYL, NN), pp. 38–41.

SAC-2010-SantanaLM #clustering #realtime #web

Load forecasting applied to soft real-time web clusters (CS, JCBL, DM), pp. 346–350.

SPLC-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.

ASPLOS-2010-FengGAM #fault #named #probability #reliability #string

Shoestring: probabilistic soft error reliability on the cheap (SF, SG, AA, SAM), pp. 385–396.

HPDC-2010-LimPF #named #performance #using

SoftPower: fine-grain power estimations using performance counters (MYL, AP, RJF), pp. 308–311.

HPDC-2010-RivasAN #architecture #named #realtime

Janus: a cross-layer soft real-time architecture for virtualization (RR, MAA, KN), pp. 676–683.

LCTES-2010-ShrivastavaLJ #embedded #equation #fault

Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.

ICLP-2010-Maher10 #approximate #constraints

Contractibility and Contractible Approximations of Soft Global Constraints (MJM), pp. 114–123.

ASE-2009-Jenson #component #constraints #dependence #validation #verification

Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.

ASE-2009-MunkbyS #fault tolerance #predict #type inference

Type Inference for Soft-Error Fault-Tolerance Prediction (GM, SS), pp. 65–75.

CASE-2009-GaoKJD #automation #modelling #simulation

Semi-automated soft-tissue acquisition and modeling for surgical simulation (ZG, TK, DLJ, JPD), pp. 268–273.

DAC-2009-KrishnaswamyMH #testing

Improving testability and soft-error resilience through retiming (SK, ILM, JPH), pp. 508–513.

DAC-2009-PellauerACE #composition #problem

Soft connections: addressing the hardware-design modularity problem (MP, MA, DC, JSE), pp. 276–281.

DAC-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.

DATE-2009-BhagawatDC #architecture #detection

Systolic like soft-detection architecture for 4×4 64-QAM MIMO system (PB, RD, GC), pp. 870–873.

DATE-2009-GhermanECSB

System-level hardware-based protection of memories against soft-errors (VG, SE, MC, NS, YB), pp. 1222–1225.

DATE-2009-HolcombLS #analysis #design #fault

Design as you see FIT: System-level soft error analysis of sequential circuits (DEH, WL, SAS), pp. 785–790.

DATE-2009-LeeS #fault #static analysis

Static analysis to mitigate soft errors in register files (JL, AS), pp. 1367–1372.

DATE-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.

DATE-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.

ICDAR-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.

VLDB-2009-KimuraHRMZ #correlation #dependence #functional

Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies (HK, GH, AR, SM, SBZ), pp. 1222–1233.

CSEET-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.

WRLA-2008-HolzlMW09 #constraints #question

Which Soft Constraints do you Prefer? (MMH, MM, MW), pp. 189–205.

PLDI-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.

CHI-2009-LeeZ #performance

The performance of touch screen soft buttons (SL, SZ), pp. 309–318.

SAC-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.

SAC-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.

SAC-2009-YangLLW #approach #approximate #constraints #theorem proving

An approximate approach to constraint solving in soft sensing (TY, ZL, XL, HW), pp. 1415–1416.

CGO-2009-YuGS #fault tolerance #named

ESoftCheck: Removal of Non-vital Checks for Fault Tolerance (JY, MJG, MS), pp. 35–46.

HPCA-2009-FuLF #fault #process

Soft error vulnerability aware process variation mitigation (XF, TL, JABF), pp. 93–104.

LCTES-2009-LeeS #compilation #fault #optimisation

A compiler optimization to reduce soft errors in register files (JL, AS), pp. 41–49.

DATE-2008-BriaoBW #realtime

Dynamic Task Allocation Strategies in MPSoC for Soft Real-time Applications (EWB, DB, FRW), pp. 1386–1389.

DATE-2008-GizopoulosRMS #case study #fault

Soft Errors: System Effects, Protection Techniques and Case Studies (DG, KR, SM, PS).

DATE-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.

HT-2008-GaffneyDW #authoring #bibliography #simulation #tool support

A survey of soft skill simulation authoring tools (CG, DD, VW), pp. 181–186.

PODS-2008-JhaRS #constraints #evaluation #query

Query evaluation with soft-key constraints (AKJ, VR, DS), pp. 119–128.

WCRE-2008-Blasband

Hard Facts vs Soft Facts (DB), pp. 301–304.

ICPR-2008-GamboaF #classification #nondeterminism #testing

Uncertainty based classification fusion — a soft-biometrics test case (HG, ALNF), pp. 1–4.

ICPR-2008-YamashitaFLK #online

Human tracking based on Soft Decision Feature and online real boosting (TY, HF, SL, MK), pp. 1–4.

SIGIR-2008-GuiverS #learning #process #rank

Learning to rank with SoftRank and Gaussian processes (JG, ES), pp. 259–266.

RE-2008-ThewS #process

Investigating the Role of “Soft Issues” in the RE Process (ST, AGS), pp. 63–66.

SAC-2008-ChengC #monitoring #named #programmable #thread

SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.

SAC-2008-GuerraLF #constraints #energy #realtime #web

Attaining soft real-time constraint and energy-efficiency in web servers (RG, JCBL, GF), pp. 2085–2089.

ASPLOS-2008-TuckACT #analysis #hardware #named #optimisation

SoftSig: software-exposed hardware signatures for code analysis and optimization (JT, WA, LC, JT), pp. 145–156.

ICLP-2008-BistarelliGLR #approach #multi #optimisation

A Soft Approach to Multi-objective Optimization (SB, FG, JL, ER), pp. 764–768.

ICLP-2008-Santini #constraints #quality

Managing Quality of Service with Soft Constraints (FS), pp. 815–817.

DATE-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.

DATE-2007-HungIGS #fault

Utilization of SECDED for soft error and variation-induced defect tolerance in caches (LDH, HI, MG, SS), pp. 1134–1139.

DATE-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.

DATE-2007-Miskov-ZivanovM #analysis #fault

Soft error rate analysis for sequential circuits (NMZ, DM), pp. 1436–1441.

DATE-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.

DATE-2007-SeshiaLM #fault

Verification-guided soft error resilience (SAS, WL, SM), pp. 1442–1447.

DATE-2007-SheldonVL #design #interactive #paradigm #using

Interactive presentation: Soft-core processor customization using the design of experiments paradigm (DS, FV, SL), pp. 821–826.

DATE-2007-SinanogluP #approach

A non-intrusive isolation approach for soft cores (OS, TP), pp. 27–32.

WRLA-2006-WirsingDTPB07 #constraints #framework #logic

A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.

VISSOFT-2007-SawantB #architecture #named #visualisation

SoftArchViz: A Software Architecture Visualization Tool (APS, NB), pp. 154–155.

SIGIR-2007-SevillanoAS #clustering #named

BordaConsensus: a new consensus function for soft cluster ensembles (XS, FA, JCS), pp. 743–744.

QAPL-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-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.

ICSE-2007-AdarK #named #visualisation

SoftGUESS: Visualization and Exploration of Code Clones in Context (EA, MK), pp. 762–766.

CSL-2007-GaboardiR #calculus

A Soft Type Assignment System for λ -Calculus (MG, SRDR), pp. 253–267.

DAC-2006-AziziN #product line

A family of cells to reduce the soft-error-rate in ternary-CAM (NA, FNN), pp. 779–784.

DAC-2006-Miskov-ZivanovM #fault #modelling #named #reduction

MARS-C: modeling and reduction of soft errors in combinational circuits (NMZ, DM), pp. 767–772.

DATE-2006-GillPW #analysis #fault #logic

Soft delay error analysis in logic circuits (BSG, CAP, FGW), pp. 47–52.

DATE-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.

DATE-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.

DATE-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.

DAC-2005-MitraKSZ #challenge #design #fault #logic

Logic soft errors in sub-65nm technologies design and CAD challenges (SM, TK, NS, MZ), pp. 2–4.

DATE-2005-DhillonDC #analysis #optimisation

Soft-Error Tolerance Analysis and Optimization of Nanometer Circuits (YSD, AUD, AC), pp. 288–293.

DATE-2005-HuLDKVI #detection #fault

Compiler-Directed Instruction Duplication for Soft Error Detection (JSH, FL, VD, MTK, NV, MJI), pp. 1056–1057.

DATE-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.

DATE-2005-WongLLHP #realtime #scheduling

Scheduling of Soft Real-Time Systems for Context-Aware Applications (JLW, WL, FL, LH, MP), pp. 318–323.

IWPC-2005-Koskinen #tool support

HyperSoft System: Tool Demonstration and Use Example (JK), pp. 153–156.

MLDM-2005-KotsiantisTP #estimation #random

Bagging Random Trees for Estimation of Tissue Softness (SBK, GET, PEP), pp. 674–681.

SIGIR-2005-CuiKC #modelling

Generic soft pattern models for definitional question answering (HC, MYK, TSC), pp. 384–391.

SAC-2005-BordognaP #sql

Extending SQL with customizable soft selection conditions (GB, GP), pp. 1107–1111.

HPCA-2005-MukherjeeER #architecture #fault #perspective #problem

The Soft Error Problem: An Architectural Perspective (SSM, JSE, SKR), pp. 243–247.

CAV-2005-IvancicYGGSA #framework #named #verification

F-Soft: Software Verification Platform (FI, ZY, MKG, AG, IS, PA), pp. 301–306.

DAC-2004-ZhaoBD #analysis #scalability

A scalable soft spot analysis methodology for compound noise effects in nano-meter circuits (CZ, XB, SD), pp. 894–899.

DATE-DF-2004-ZeferinoKS #named

RASoC: A Router Soft-Core for Networks-on-Chip (CAZ, MEK, AAS), pp. 198–205.

DATE-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.

DATE-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.

DATE-v2-2004-CortesEP #realtime #scheduling

Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks (LAC, PE, ZP), pp. 1176–1183.

SIGMOD-2004-IlyasMHBA #automation #correlation #dependence #functional #named

CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies (IFI, VM, PJH, PB, AA), pp. 647–658.

FoSSaCS-2004-BaillotM #polynomial #λ-calculus

Soft λ-Calculus: A Language for Polynomial Time Computation (PB, VM), pp. 27–41.

PASTE-2004-Godefroid #model checking

Invited Talk: “Model checking” software with VeriSoft (PG), p. 36.

CHI-2004-Isokoski #performance

Performance of menu-augmented soft keyboards (PI), pp. 423–430.

CIKM-2004-ZhaoK #clustering #documentation #summary

Soft clustering criterion functions for partitional document clustering: a summary of results (YZ, GK), pp. 246–247.

SAC-2004-BistarelliFO #constraints #detection #modelling #problem #using

Modeling and detecting the cascade vulnerability problem using soft constraints (SB, SNF, BO), pp. 383–390.

ASPLOS-2004-SmolensGKFHN #bound #detection #latency #named

Fingerprinting: bounding soft-error detection latency and bandwidth (JCS, BTG, JK, BF, JCH, AN), pp. 224–234.

FATES-2004-Frutos-EscrigG #consistency

Preserving Contexts for Soft Conformance Relation (DdFE, CGR), pp. 33–48.

DATE-2003-LaurentK #validation

A System to Validate and Certify Soft and Hard IP (BL, TK), pp. 20208–20213.

DATE-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.

DATE-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.

DocEng-2003-GarainDMC #pattern matching

Compression of scan-digitized Indian language printed text: a soft pattern matching technique (UG, SD, AM, BBC), pp. 185–192.

PODS-2003-Behrend #database #deduction #evaluation #query #set

Soft stratification for magic set based query evaluation in deductive databases (AB), pp. 102–110.

CSEET-2003-LatzinaR #collaboration #usability

Soft(ware) Skills in Context: Corporate Usability Training Aiming at Cross-Disciplinary Collaboration (ML, BR), p. 52–?.

ICSE-2003-Dingel #reasoning

Computer-Assisted Assume/Guarantee Reasoning with VeriSoft (JD), pp. 138–148.

SOSP-2003-YuanN #cpu #energy #mobile #multi #realtime #scheduling

Energy-efficient soft real-time CPU scheduling for mobile multimedia systems (WY, KN), pp. 149–163.

DATE-2002-ChuY #design

Non-Rectangular Shaping and Sizing of Soft Modules in Floorplan Design (CCNC, EFYY), p. 1101.

ESOP-2002-BistarelliMR #concurrent #constraints #programming

Soft Concurrent Constraint Programming (SB, UM, FR), pp. 53–67.

WCRE-2002-TahvildariK #graph #maintenance #using

A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph (LT, KK), p. 77–?.

CIKM-2002-NahmM #mining

Mining soft-matching association rules (UYN, RJM), pp. 681–683.

ICPR-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.

SAC-2002-BistarelliFM #constraints

Soft constraint propagation and solving in CHRs (SB, TWF, MM), pp. 1–5.

HPCA-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.

DAC-2001-SanghaviW #estimation #power of

Estimation of Speed, Area, and Power of Parameterizable, Soft IP (JVS, AW), pp. 31–34.

DATE-2001-Wilson #challenge #design #hardware

Managing the SoC design challenge with “Soft” hardware (RW), pp. 610–611.

SAS-2001-SharpM #hardware #scheduling

Soft Scheduling for Hardware (RS, AM), pp. 57–72.

ICEIS-v1-2001-ShahabiC #framework #image #query #retrieval

A Unified Framework to Incorporate Soft Query into Image Retrieval Systems (CS, YSC), pp. 216–224.

ICML-2001-PellegM #clustering

Mixtures of Rectangles: Interpretable Soft Clustering (DP, AWM), pp. 401–408.

PADL-2001-BellaB #analysis #constraints #protocol #security

Soft Constraints for Security Protocol Analysis: Confidentiality (GB, SB), pp. 108–122.

ICPR-v1-2000-Mitchell #analysis #documentation #layout #segmentation #using

Document Page Segmentation and Layout Analysis Using Soft Ordering (PEM, HY), pp. 1458–1461.

KDD-2000-CohenKM

Hardening soft information sources (WWC, HAK, DAM), pp. 255–259.

KR-2000-BisoRS #constraints #learning

Experimental Results on Learning Soft Constraints (AB, FR, AS), pp. 435–444.

PADL-2000-BistarelliCGR #consistency #constraints #programming

Labeling and Partial Local Consistency for Soft Constraint Programming (SB, PC, YG, FR), pp. 230–248.

ICSE-2000-Orsted #development

Software development engineer in Microsoft: a subjective view of soft skills required (MO), pp. 539–540.

ICSE-2000-Riva #3d #visualisation

Visualizing software release histories with 3DSoftVis (CR), p. 789.

DAC-1999-SuWL #interactive

A Timing-Driven Soft-Macro Resynthesis Method in Interaction with Chip Floorplanning (HPS, ACHW, YLL), pp. 262–267.

DAC-1999-ZhuG #scheduling #synthesis

Soft Scheduling in High Level Synthesis (JZ, DG), pp. 219–224.

CHI-1999-MacKenzieZ #design #evaluation

The Design and Evaluation of a High-Performance Soft Keyboard (ISM, SXZ), pp. 25–31.

CIKM-1999-KaoLACL #database #maintenance #realtime

Updates and View Maintenance in Soft Real-Time Database Systems (BK, KyL, BA, RC, TSHL), pp. 300–307.

SOSP-1999-AronD #network #performance

Soft timers: efficient microsecond software timer support for network processing (MA, PD), pp. 232–246.

DATE-1998-OlcozCGG #static analysis #tool support

Static Analysis Tools for Soft-Core Reviews and Audits (SO, AC, MG, JAG), pp. 935–936.

ISSTA-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.

CADE-1997-GanzingerMW #order #type system

Soft Typing for Ordered Resolution (HG, CM, CW), pp. 321–335.

CAV-1997-Godefroid #analysis #automation #concurrent #named

VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software (PG), pp. 476–479.

ITiCSE-1996-Beise #education #internet #tool support

Integrating Internet tools into the soft side of informatics education (CMB), pp. 107–108.

SEKE-1996-CleavelandLLS #formal method #process #realtime #testing

A Theory of Testing for Soft Real-Time Processes (RC, IL, PML, SAS), pp. 474–479.

ICRE-1996-BustardDC #analysis #object-oriented

Integrating Soft Systems and Object-Oriented Analysis (DWB, TJD, BNC), pp. 52–59.

ASPLOS-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.

ICDAR-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.

SIGMOD-1995-AdelbergGK #database #realtime

Applying Update Streams in a Soft Real-Time Database System (BA, HGM, BK), pp. 245–256.

RE-1995-BustardL #analysis #formal method #modelling

Enhancing soft systems analysis with formal modelling (DWB, PJL), pp. 164–171.

SAC-1995-FathiTHH #development

Development of objective functions for soft computing in medical applications (MF, CT, KH, JH), pp. 562–564.

LFP-1994-WrightC #type system

A Practical Soft Type System for Scheme (AKW, RC), pp. 250–262.

POPL-1994-AikenWL #type system

Soft Typing with Conditional Types (AA, ELW, TKL), pp. 163–173.

DAC-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.

TOOLS-USA-1993-MiliL #abstraction #automation #object-oriented #reuse

Data Abstraction in SoftClass, an OO CASE Tool for Software Reuse (HM, HL), pp. 133–149.

ESOP-1992-Tarlecki #specification

Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft (AT), pp. 451–472.

TRI-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.

SEI-1991-Shafer #physics

Keynote Address: Soft Ware for Hard Physics (SS), pp. 1–2.

PLDI-1991-CartwrightF #type system

Soft Typing (RC, MF), pp. 278–292.

Best-of-PLDI-1991-CartwrightF91a #type system

Soft typing (with retrospective) (RC, MF), pp. 412–428.

TOOLS-USA-1991-Mili #named #object-oriented #reuse

SoftClass: An Object-Oriented Tool for Software Reuse (HM), pp. 303–318.

VDME-1990-BednarczykBP90a #semantics #towards

Towards the Semantics of the Definitional Language of MetaSoft (MAB, AMB, WP), pp. 471–503.

VDME-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.

SIGIR-1985-SaltonV #automation

Automatic Assignment of Soft Boolean Operators (GS, EMV), pp. 54–69.