Abstract: A disclosed language includes a loop construct that maps to a circuit implementation. The circuit implementation may be used to design or program a synchronous digital circuit. The circuit implementation includes a hardware pipeline that implements the loop's body and condition. The circuit implementation also includes hardware first-in-first-out queues that marshal threads (i.e. collections of local variables) into, around, and out of the pipeline. A pipeline policy circuit limits the number of threads allowed within the pipeline to the capacity of the queue.

Abstract: A multi-threaded imperative programming language includes a language construct defining a function call. A circuit implementation for the construct includes a first pipeline, a second pipeline, and a third pipeline. The first hardware pipeline outputs variables to a first queue and outputs parameters for the function to a second queue. The second hardware pipeline obtains the function parameters from the second queue, performs the function, and stores the results of the function in a third queue. The third hardware pipeline retrieves the results generated by the second pipeline from the second queue and retrieves the variables from the first queue. The third hardware pipeline performs hardware operations specified by the source code using the variables and the results of the function. A single instance of the circuit implementation can be utilized to implement calls to the same function made from multiple locations within source code.

Abstract: Program source code defined in a multi-threaded imperative programming language can be compiled into a circuit description for a synchronous digital circuit (“SDC”) that includes pipelines and queues. During compilation, data defining a debugging network for the SDC can be added to the circuit description. The circuit description can then be used to generate the SDC such as, for instance, on an FPGA. A CPU connected to the SDC can utilize the debugging network to query the pipelines for state information such as, for instance, data indicating that an input queue for a pipeline is empty, data indicating the state of an output queue, or data indicating if a wait condition for a pipeline has been satisfied. A profiling tool can execute on the CPU for use in debugging the SDC.

Abstract: A multi-threaded imperative programming language includes language constructs that map to circuit implementations. The constructs can include a condition statement that enables a thread in a hardware pipeline to wait for a specified condition to occur, identify the start and end of a portion of source code instructions that are to be executed atomically, or indicate that a read-modify-write memory operation is to be performed atomically. Source code that includes one or more constructs mapping to a circuit implementation can be compiled to generate a circuit description. The circuit description can be expressed using hardware description language (HDL), for instance. The circuit description can, in turn, be used to generate a synchronous digital circuit that includes the circuit implementation. For example, HDL might be utilized to generate an FPGA image or bitstream that can be utilized to program an FPGA that includes the circuit implementation associate with the language construct.

Abstract: A programming language and a compiler are disclosed that optimize the use of look-up tables (LUTs) on a synchronous digital circuit (SDC) such as a field programmable gate array (FPGA) that has been programmed. LUTs are optimized by merging multiple computational operations into the same LUT. A compiler parses source code into an intermediate representation (IR). Each node of the IR that represents an operator (e.g. ‘&’, ‘+’) is mapped to a LUT that implements that operator. The compiler iteratively traverses the IR, merging adjacent LUTs into a LUT that performs both operations and performing input removal optimizations. Additional operators may be merged into a merged LUT until all the LUT's inputs are assigned. Pipeline stages are then generated based on merged LUTs, and an SDC is programmed based on the pipeline and the merged LUT.

Abstract: A multi-threaded programming language and compiler generates synchronous digital circuits that maintain thread execution order by generating pipelines with code paths that have the same number of stages. The compiler balances related code paths within a pipeline by adding additional stages to a code path that has fewer stages. Programming constructs that, by design, allow thread execution to be re-ordered, may be placed in a reorder block construct that releases threads in the order they entered the programming construct. First-in-first-out (FIFO) queues pass local variables between pipelines. Local variables are popped from FIFOs in the order they were pushed, preserving thread execution order across pipelines.

Abstract: In one embodiment, there is provided a dock for a replaceable fluid container for an engine, the fluid container having: a fluid reservoir; and at least one fluid port having a coupling adapted to couple with a fluid circulation system associated with the engine; the dock having: a fastening mechanism configured to cooperate with the container such that, as the container is inserted into the dock, the fastening mechanism acts first to seat the fluid container in the dock but in an undocked condition and then, as the container is inserted further into the dock, acts to bring the fluid container into an engaged condition in which the fluid container is docked with a docking interface of the dock.

Abstract: Provided is a process for thermoforming a gas and liquid permeable layer (10) of thermoplastic material having an average thickness of less than 1.0 mm, the process comprising the steps of bringing the layer of thermoplastic material, at a temperature below that required for thermoforming, into contact with a mould (16) at a temperature above that of a thermoforming temperature of the thermoplastic material; pressing the mould into contact with the layer of thermoplastic material, the contact between mould and thermoplastic material causing heat to transfer from the mould to the thermoplastic material and raising the temperature of the thermoplastic material to a thermoformable temperature; such pressing thereby causing thermoforming of the thermoplastic material to conform to the shape of the mould.

Abstract: Disclosed is a substance which down-regulates the activity of a MAST gene, or the activity of a transcription or translation product of a MAST gene, for use in the prevent and/or treatment of an inflammatory skin condition in a mammalian subject.

Abstract: A server system is provided that includes a plurality of servers, each server including at least one hardware acceleration device and at least one processor communicatively coupled to the hardware acceleration device by an internal data bus and executing a host server instance, the host server instances of the plurality of servers collectively providing a software plane, and the hardware acceleration devices of the plurality of servers collectively providing a hardware acceleration plane that implements a plurality of hardware accelerated services, wherein each hardware acceleration device maintains in memory a data structure that contains load data indicating a load of each of a plurality of target hardware acceleration devices, and wherein a requesting hardware acceleration device routes the request to a target hardware acceleration device that is indicated by the load data in the data structure to have a lower load than other of the target hardware acceleration devices.

Abstract: This invention relates to an oil reservoir system for an engine comprising: an oil container which includes an oil reservoir, which is in fluidic communication with an oil circulation system of an engine, a ventilated headspace and an oil filter located at the interior of said oil container. The invention also relates to a method for deaeration of an oil of an oil reservoir which is in fluidic communication with an oil circulation system of an engine. Furthermore, the invention relates to a vehicle comprising the oil reservoir system.

Abstract: A server system is provided that includes a plurality of servers, each server including at least one hardware acceleration device and at least one processor communicatively coupled to the hardware acceleration device by an internal data bus and executing a host server instance, the host server instances of the plurality of servers collectively providing a software plane, and the hardware acceleration devices of the plurality of servers collectively providing a hardware acceleration plane that implements a plurality of hardware accelerated services, wherein each hardware acceleration device maintains in memory a data structure that contains load data indicating a load of each of a plurality of target hardware acceleration devices, and wherein a requesting hardware acceleration device routes the request to a target hardware acceleration device that is indicated by the load data in the data structure to have a lower load than other of the target hardware acceleration devices.

Abstract: A packaging for foodstuff, including a base blank adapted to be erected into a carton for containing the foodstuff therein, the base blank including a liner paper that forms an internal surface of the carton and which has a release coating applied thereto; a lid blank adapted to form a lid that is securable to the carton so as to enclose the foodstuff within the carton, the lid blank including a liner paper that forms an internal surface of the lid which has a release coating applied thereto such that at least a part of the lid blank remains uncoated to permit bonding of the lid to an uncoated surface of the carton, wherein, the release coating is contactable with the food stuff and capable of providing clean release therefrom.

Abstract: Improving data retrieval by a computer, the data stored exclusively in the computer as a structure comprising a plurality of nodes connected by edges, wherein the edges indicate relationships among the plurality of nodes, and wherein the structure further comprise properties which store information that relate to the plurality of nodes. Metadata is stored as part of the structure, the metadata defining rules for updating the relationships among the plurality of nodes. A command is received to update at least one of the nodes, the edges, or the properties. The at least one of the nodes, the edges, or the properties, are updated according to the rules defined by the metadata.

Abstract: Disclosed is a device (1, 100) for dispensing a food composition (13) from a receptacle (8, 108) comprising a compressed gas inlet (9, 109), the device comprising: a compressed gas source (12); a gas conduit (11) extending from the compressed gas source to a compressed gas outlet (10, 110); a housing (2, 102) surrounding the receptacle and having a door (3, 103) allowing access to the receptacle; and a mechanism (16, 17, 18, 19, 115, 118) for adjusting the relative position of the receptacle and compressed gas outlet in response to movement of the door to urge the compressed gas outlet (10, 110) and the compressed gas inlet (9, 109) into sealing engagement as the door is closed.

Abstract: A server system is provided that includes a plurality of servers, each server including at least one hardware acceleration device and at least one processor communicatively coupled to the hardware acceleration device by an internal data bus and executing a host server instance, the host server instances of the plurality of servers collectively providing a software plane, and the hardware acceleration devices of the plurality of servers collectively providing a hardware acceleration plane that implements a plurality of hardware accelerated services, wherein each hardware acceleration device maintains in memory a data structure that contains load data indicating a load of each of a plurality of target hardware acceleration devices, and wherein a requesting hardware acceleration device routes the request to a target hardware acceleration device that is indicated by the load data in the data structure to have a lower load than other of the target hardware acceleration devices.

Abstract: A process for forming a sheet of thermoplastic material into a three-dimensional shape comprising at least one vertex, the process comprising the steps of (i) forming the sheet by means of a former having a profile such as to produce a first formed shape in the sheet, followed by (ii) positioning a male former within the first formed shape, the male former having a profile within the first formed shape comprising at least one vertex and (iii) raising the temperature of the first formed shape above that of forming in step (i), thereby causing the first formed shape to shrink back towards its original sheet form and thereby adopting the profile of the male former.

Abstract: Various embodiments are described herein for a system and a method for assessing a risk of ventricular arrhythmias for a patient. For example, the method may comprise receiving ECG data obtained from the patient; analyzing the ECG data to detect abnormal QRS peaks; determining the risk of ventricular arrhythmias for the patient based on the detected abnormal QRS peaks; and providing an indication of the risk of ventricular arrhythmias for the patient. The system may be configured to perform this method.

Abstract: A topical supradermal applicator comprises a liquid reservoir adapted to be coupled in liquid transferring relation with a plurality of applicator tines each having a longitudinal extent adapted to bypass an animals coat and including liquid directing channels operable to conduct liquid to topically transfer liquid beneath the coat. The reservoir comprises a graspable bulb-configured handle providing waisted radially opposed accommodation for an operator's opposed digits, around the periphery of the bulb.

Abstract: Methods and devices for transmitting message attachments from a messaging server to a mobile device. The mobile device identifies if any of the attachments are of a first type and requests transmission, from the messaging server, of the identified attachments of the first type, if any. The device determines the remaining transmission capacity by subtracting the collective size of the message body received and the identified attachments of the first type, if any, from the initial data limit. Based on the remaining transmission capacity, the device determines that at least one of the one or more attachments, other than the identified attachments, has a size smaller than the remaining transmission capacity, and based on that determination, requests transmission of said at least one of the one or more attachments from the messaging server to the mobile device.