Changeset 3641


Ignore:
Timestamp:
Mar 8, 2017, 1:53:03 PM (5 months ago)
Author:
mulligan
Message:

minor rewording before rems meeting

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/introduction.tex

    r3640 r3641  
    2121A program's non-functional constraints may be given \emph{concretely}, or \emph{asymptotically}.
    2222Asymptotic complexity, as every Computer Science undergraduate knows, is important---but so too is concrete complexity for many applications, including the three we highlighted above as examples.
    23 A real-time system's response time is measured in seconds, milliseconds, or some other fundamental unit of time; a cryptographic library must have all execution paths execute in the same number of processor cycles, independent of any input passed by the client; and the size of an embedded controller for a pacemaker is measured in bits, bytes, or some other unit of computer memory capacity.
     23Response times for a real time system are measured in seconds, milliseconds, or some other fundamental unit of time; a cryptographic library must have all execution paths execute in the same number of processor cycles, independent of any input passed by the client; the size of an embedded controller for a pacemaker is measured in bits, bytes, or some other unit of computer memory capacity.
    2424In all cases, resource consumption is measured (and is specified) in some basal, concrete unit of measure.
    2525
Note: See TracChangeset for help on using the changeset viewer.