41 papers:
CASE-2015-SuWCRT #adaptation #fuzzy #learning- Adaptive PD fuzzy control with dynamic learning rate for two-wheeled balancing six degrees of freedom robotic arm (SFS, KJW, MCC, IJR, CCT), pp. 1258–1261.
FLOPS-2014-BalabonskiPP- Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.
LICS-CSL-2014-Padovani #concurrent #linear #π-calculus- Deadlock and lock freedom in the linear π-calculus (LP), p. 10.
POPL-2013-CarboneM #multi #named #programming- Deadlock-freedom-by-design: multiparty asynchronous global programming (MC, FM), pp. 263–274.
SAC-2013-CazzolaV #java- @Java: annotations in freedom (WC, EV), pp. 1688–1693.
CAV-2013-BinghamBEG #concurrent #distributed #model checking- Distributed Explicit State Model Checking of Deadlock Freedom (BDB, JDB, JE, MRG), pp. 235–241.
- LICS-2013-HoffmannMS #proving #reasoning
- Quantitative Reasoning for Proving Lock-Freedom (JH, MM, ZS), pp. 124–133.
- CASE-2012-YuPCCK #design #multi
- Design and control of multi-degree-of-freedom shroud nozzle hydraulic manipulator in steel manufacturing (HY, YJP, ISC, WKC, KK), pp. 538–543.
CHI-2011-LeshedS #case study #experience #quote #tool support- “I lie to myself that I have freedom in my own schedule”: productivity tools and experiences of busyness (GL, PS), pp. 905–914.
DUXU-v1-2011-HeimgartnerWS #design #human-computer #quality- The Necessity of Personal Freedom to Increase HCI Design Quality (RH, HW, AS), pp. 62–68.
OOPSLA-2011-SummersM #lightweight #type system- Freedom before commitment: a lightweight type system for object initialisation (AJS, PM), pp. 1013–1032.
CSL-2011-Otto #bisimulation- The Freedoms of Guarded Bisimulation (MO), p. 2.
VMCAI-2011-GotmanovCK #communication #verification- Verifying Deadlock-Freedom of Communication Fabrics (AG, SC, MK), pp. 214–231.
- CHI-2010-SchwarzHHM #mobile #multi
- Cord input: an intuitive, high-accuracy, multi-degree-of-freedom input method for mobile devices (JS, CH, SEH, JM), pp. 1657–1660.
ICSE-2010-KumarSS #for free- Can we certify systems for freedom from malware (NVNK, HJS, RKS), pp. 175–178.
ITiCSE-2009-Radenski #learning- Freedom of choice as motivational factor for active learning (AR), pp. 21–25.
PLDI-2009-PetrankMS #bound #parallel #source code- Progress guarantee for parallel programs via bounded lock-freedom (EP, MM, BS), pp. 144–154.
- PLDI-2008-Terauchi #linear #programming
- Checking race freedom via linear programming (TT), pp. 1–10.
- CAV-2008-KobayashiS #hybrid #mobile #process #type system
- A Hybrid Type System for Lock-Freedom of Mobile Processes (NK, DS), pp. 80–93.
- CASE-2007-YangXL
- Two-Degree-of-Freedom Based Cross-Coupled Control for High-Accuracy Tracking Systems (JY, JX, ZL), pp. 950–955.
- HCI-IPT-2007-FallmanMY #design
- The Design of a Computer Mouse Providing Three Degrees of Freedom (DF, AM, BY), pp. 53–62.
ICML-2007-KramerB #kernel #performance- Kernelizing PLS, degrees of freedom, and efficient model selection (NK, MLB), pp. 441–448.
- CHI-2006-FroehlichHSH
- The GlobeFish and the GlobeMouse: two new six degree of freedom input devices for graphics applications (BF, JH, VS, AH), pp. 191–199.
ICEIS-v5-2005-MasonWL #named #specification- Autojoin: Providing Freedom from Specifying Joins (TM, LW, RL), pp. 31–38.
- VMCAI-2005-AttieC #concurrent #scalability #source code
- Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs (PCA, HC), pp. 465–481.
ASE-2003-EllisI #automation #exception #proving- Automation for Exception Freedom Proofs (BJE, AI), pp. 343–346.
FME-2003-AldiniB #approach #architecture #concurrent #verification- A General Approach to Deadlock Freedom Verification for Software Architectures (AA, MB), pp. 658–677.
- CHI-2003-GrossmanBS #interface #using
- An interface for creating and manipulating curves using a high degree-of-freedom curve input device (TG, RB, KS), pp. 185–192.
SIGAda-2002-AmeyC #exception #industrial- Industrial strength exception freedom (PA, RC), pp. 1–9.
FASE-2001-InverardiU #component #concurrent #programming #proving- Proving Deadlock Freedom in Component-Based Programming (PI, SU), pp. 60–75.
- CHI-2000-MasliahM #empirical
- Measuring the allocation of control in a 6 degree-of-freedom docking experiment (MRM, PM), pp. 25–32.
- LICS-1998-KupfermanV #linear
- Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (OK, MYV), pp. 81–92.
- CHI-1996-ZhaiMB #multi #performance
- The Influence of Muscle Groups on Performance of Multiple Degree-of-Freedom Input (SZ, PM, WB), pp. 308–315.
CSEE-1995-Stinson #assurance #quality- Academic Freedom versus Quality Assurance (MCS), p. 263.
- SAC-1994-RusnokLC #speech
- Freedom’93: a portable speech device (KLR, MSL, JMC), pp. 556–560.
ILPS-1994-Marchiori #unification- Localizations of Unification Freedom through Matching Directions (MM), pp. 392–406.
- HCI-ACS-1993-LomanBR #human-computer #interface
- Cognitive Model of Human-Computer Interface (HCI) Onboard Space Station Freedom (SSF) (JML, DJB, CR), pp. 201–206.
- HCI-SHI-1993-Iwata
- A Six Degree-of-Freedom Pen-Based Force Display (HI), pp. 651–656.
AdaEurope-1992-Raines #ada #realtime- Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.
- CAV-1991-GodefroidW #concurrent #partial order #performance #safety #using #verification
- Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties (PG, PW), pp. 332–342.
PODS-1985-WolfsonY #database #distributed #safety #transaction- Deadlock-Freedom (and Safety) of Transactions in a Distributed Database (OW, MY), pp. 105–112.
