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:
degre (11)
deadlock (9)
input (5)
program (5)
devic (4)

Stem freedom$ (all stems)

41 papers:

CASECASE-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.
FLOPSFLOPS-2014-BalabonskiPP
Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.
LICSLICS-CSL-2014-Padovani #concurrent #linear #π-calculus
Deadlock and lock freedom in the linear π-calculus (LP), p. 10.
POPLPOPL-2013-CarboneM #multi #named #programming
Deadlock-freedom-by-design: multiparty asynchronous global programming (MC, FM), pp. 263–274.
SACSAC-2013-CazzolaV #java
@Java: annotations in freedom (WC, EV), pp. 1688–1693.
CAVCAV-2013-BinghamBEG #concurrent #distributed #model checking
Distributed Explicit State Model Checking of Deadlock Freedom (BDB, JDB, JE, MRG), pp. 235–241.
LICSLICS-2013-HoffmannMS #proving #reasoning
Quantitative Reasoning for Proving Lock-Freedom (JH, MM, ZS), pp. 124–133.
CASECASE-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.
CHICHI-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.
HCIDUXU-v1-2011-HeimgartnerWS #design #human-computer #quality
The Necessity of Personal Freedom to Increase HCI Design Quality (RH, HW, AS), pp. 62–68.
OOPSLAOOPSLA-2011-SummersM #lightweight #type system
Freedom before commitment: a lightweight type system for object initialisation (AJS, PM), pp. 1013–1032.
CSLCSL-2011-Otto #bisimulation
The Freedoms of Guarded Bisimulation (MO), p. 2.
VMCAIVMCAI-2011-GotmanovCK #communication #verification
Verifying Deadlock-Freedom of Communication Fabrics (AG, SC, MK), pp. 214–231.
CHICHI-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.
ICSEICSE-2010-KumarSS #for free
Can we certify systems for freedom from malware (NVNK, HJS, RKS), pp. 175–178.
ITiCSEITiCSE-2009-Radenski #learning
Freedom of choice as motivational factor for active learning (AR), pp. 21–25.
PLDIPLDI-2009-PetrankMS #bound #parallel #source code
Progress guarantee for parallel programs via bounded lock-freedom (EP, MM, BS), pp. 144–154.
PLDIPLDI-2008-Terauchi #linear #programming
Checking race freedom via linear programming (TT), pp. 1–10.
CAVCAV-2008-KobayashiS #hybrid #mobile #process #type system
A Hybrid Type System for Lock-Freedom of Mobile Processes (NK, DS), pp. 80–93.
CASECASE-2007-YangXL
Two-Degree-of-Freedom Based Cross-Coupled Control for High-Accuracy Tracking Systems (JY, JX, ZL), pp. 950–955.
HCIHCI-IPT-2007-FallmanMY #design
The Design of a Computer Mouse Providing Three Degrees of Freedom (DF, AM, BY), pp. 53–62.
ICMLICML-2007-KramerB #kernel #performance
Kernelizing PLS, degrees of freedom, and efficient model selection (NK, MLB), pp. 441–448.
CHICHI-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.
ICEISICEIS-v5-2005-MasonWL #named #specification
Autojoin: Providing Freedom from Specifying Joins (TM, LW, RL), pp. 31–38.
VMCAIVMCAI-2005-AttieC #concurrent #scalability #source code
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs (PCA, HC), pp. 465–481.
ASEASE-2003-EllisI #automation #exception #proving
Automation for Exception Freedom Proofs (BJE, AI), pp. 343–346.
FMFME-2003-AldiniB #approach #architecture #concurrent #verification
A General Approach to Deadlock Freedom Verification for Software Architectures (AA, MB), pp. 658–677.
CHICHI-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.
AdaSIGAda-2002-AmeyC #exception #industrial
Industrial strength exception freedom (PA, RC), pp. 1–9.
FASEFASE-2001-InverardiU #component #concurrent #programming #proving
Proving Deadlock Freedom in Component-Based Programming (PI, SU), pp. 60–75.
CHICHI-2000-MasliahM #empirical
Measuring the allocation of control in a 6 degree-of-freedom docking experiment (MRM, PM), pp. 25–32.
LICSLICS-1998-KupfermanV #linear
Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (OK, MYV), pp. 81–92.
CHICHI-1996-ZhaiMB #multi #performance
The Influence of Muscle Groups on Performance of Multiple Degree-of-Freedom Input (SZ, PM, WB), pp. 308–315.
CSEETCSEE-1995-Stinson #assurance #quality
Academic Freedom versus Quality Assurance (MCS), p. 263.
SACSAC-1994-RusnokLC #speech
Freedom’93: a portable speech device (KLR, MSL, JMC), pp. 556–560.
ICLPILPS-1994-Marchiori #unification
Localizations of Unification Freedom through Matching Directions (MM), pp. 392–406.
HCIHCI-ACS-1993-LomanBR #human-computer #interface
Cognitive Model of Human-Computer Interface (HCI) Onboard Space Station Freedom (SSF) (JML, DJB, CR), pp. 201–206.
HCIHCI-SHI-1993-Iwata
A Six Degree-of-Freedom Pen-Based Force Display (HI), pp. 651–656.
AdaEuropeAdaEurope-1992-Raines #ada #realtime
Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.
CAVCAV-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.
PODSPODS-1985-WolfsonY #database #distributed #safety #transaction
Deadlock-Freedom (and Safety) of Transactions in a Distributed Database (OW, MY), pp. 105–112.

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.