The User in the Loop Extensibility, Guile, and GNU GNU Hackers Meeting 2011 Andy Wingo Greetings!

Source URL: www.gnu.org

February 20, 2006 SOFT 1.0 bug: Too long for-loops A user recently brought to our attention errors in two of the example files provided in the SOFT 1.0 distribution: test soft sym correlate2.c and test soft fftw correla

Source URL: www.cs.dartmouth.edu

• Computer programming
• Software engineering
• Computing
• C standard library
• Control flow
• Scanf format string
• Infinite loop
• Iterator
• For loop
• Unix signal
• FFTW
• Close

April 23, 2008 Bug in SpharmonicKit 2.7, S2kit 1.0 and SOFT 2.0: Error in malloc statement A user recently brought to our attention an error which occurs in the source file cospmls.c. A malloc statement in the function

Source URL: www.cs.dartmouth.edu

• Software engineering
• Computer programming
• Computing
• C++
• Cross-platform software
• Procedural programming languages
• C
• Memory management
• Sizeof
• C dynamic memory allocation
• Foreach loop
• D

Microsoft Word - SMART2012-SUNSET-v46_camready.docx

Source URL: www.medien.ifi.lmu.de

• Geolocation
• Mobility
• Mobile phone
• Mobile device
• User-in-the-loop
• Opportunistic mobile social network

Create a Loop Using Workflow Activities Scenario You’re developing in K2 Studio, and need the workflow to iterate over a list and take some sort of action for each list item. Overview

Source URL: startrule.files.wordpress.com

• User interface techniques
• Scripting languages
• Type theory
• Variable
• Point and click
• JavaScript
• Dependent and independent variables
• Double-click

The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701

Source URL: fm.csl.sri.com

• Formal methods
• Technical communication
• Automated theorem proving
• Theoretical computer science
• Logic in computer science
• Formal verification
• ACL2
• Functional verification
• User interface
• Proof assistant
• Usability
• Verification and validation

EVAL Manual Given a set of transcripts with %mor lines, EVAL produces a language profile for one or more transcripts, and displays the profile in an Excel spreadsheet. The user can also choose to compare the profile(s) t

Source URL: www.talkbank.org

• User interface techniques
• Control flow
• Eval
• Graphical user interface elements
• Folder
• Command-line interface
• Read–eval–print loop
• Double-click
• Dock
• Software
• Computing
• System software

Observing Slow Crustal Movement in Residential User Traffic Kenjiro Cho (IIJ), Kensuke Fukuda (NII), Hiroshi Esaki (Univ. of Tokyo), Akira Kato (Keio Univ.), Jun Murai (Keio Univ.)

Source URL: www.caida.org

• Fiber-optic communications
• Local loop
• Network architecture
• Technology
• Internet access
• Rights
• Internet service provider
• Digital subscriber line
• Fiber to the x
• Broadband
• Electronic engineering
• Electronics

DECT handset G955 Sophisticated voice and messaging for mobile office users At a Glance The DECT handset G955 is a sophisticated wireless handset for use in professional office environments providing the mobile user the

Source URL: www.slsolucije.hr

• Broadband
• Digital Enhanced Cordless Telecommunications
• Local loop
• Software-defined radio
• Headset
• Bluetooth
• Technology
• Computer hardware
• Electronic engineering

DECT handset G355 Professional voice communications for mobile office users At a Glance The DECT handset G355 is a wireless office handset for use in ­professional environments, providing the mobile user the optimum in

Source URL: www.slsolucije.hr

• Broadband
• Digital Enhanced Cordless Telecommunications
• Local loop
• Software-defined radio
• Headset
• Business telephone system
• Telephony
• Electronic engineering
• Computer hardware