A processor receives an instruction operation (OP) code from a verification system. The instruction OP code includes instruction bits and forced event bits. The processor identifies a forced event based upon the forced event bits, which is unrelated to an instruction that corresponds to the instruction bits. In turn, the processor executes the forced event.

In an example embodiment, there is described herein an apparatus comprising an interface for communicating with a plurality of digital signal processors and logic operable to send and receive data via the interface. The logic is configured to determine a first set of digital signal processors to be maintained in a ready state, a second set of digital signal processors to be maintained in a first energy saving state, and a third set of digital signal processors to be maintained in a second energy saving state.

Systems and methods for static code scheduling are disclosed. A method can include receiving an intermediate representation of source code, building a directed acyclic graph (DAG) for the intermediate representation, and creating chains of dependent instructions from the DAG for cluster formation. The chains are merged into clusters and each node in the DAG is marked with an identifier of a cluster it is part of to generate a marked instruction DAG. Instruction DAG scheduling is then performed using information about the clusters to generate an ordered intermediate representation of the source code.

Systems, Apparatus, methods, and computer program products are provided for converting an existing artifact to one or more new artifacts. For example, in one embodiment, a computing device can receive input identifying an existing artifact for conversion to one or more new artifacts. One or more items from the existing artifact and their respective types can be identified for conversion. Then, the one or more items of the existing artifact can be converted to one or more new artifacts.

A computer-implemented method is provided for evaluating team performance in a product development environment. The method includes receiving a plurality of points of effort made by a team over a plurality of days in a time period, computing a slope associated with a line of best fit through the plurality of points of effort over the plurality of days, computing a deviation of the slope from an ideal slope corresponding to a desired performance rate for the team, and generating a display illustrating at least one of the slope, the ideal slope or the deviation.

A method of applying formal verification methodologies to event processing applications is provided herein. The method includes the following stages: representing an event processing application as an event processing network, being a graph with event processing agents as nodes; generating a finite state machine based on the event processing network, wherein the finite state machine is an over-approximation of the event processing application; expressing stateful rules and policies that are associated with the event processing application using temporal logic, to yield a temporal representation of the event processing application; combining the temporal representation and the finite state machine into a model; generating a statement associated with a user-selected verification-related property of the event processing application, wherein the statement is generated using the temporal representation; and applying the statement to the model, to yield an indication for: (i) a correctness of the statement or (ii) a counter example, respectively.

Graphical programming or modeling environments in which a coding standard can be applied to graphical programs or models are disclosed. The present invention provides mechanisms for applying the coding standard to graphical programs/models in the graphical programming/modeling environments. The mechanisms may detect violations of the coding standard in the graphical model and report such violations to the users. The mechanisms may automatically correct the graphical model to remove the violations from the graphical model. The mechanisms may also automatically avoid the violations in the simulation and/or code generation of the graphical model.

Methods, devices, and systems for management of a cloud computing environment for use by a software application. The cloud computing environment may be an N-tier environment. Multiple cloud providers may be used to provide the cloud computing environment.

The present invention provides a method, a system and a computer program product for defining a version identifier of a service component. The method includes determining various specification levels corresponding to the service component. Thereafter, the determined specification levels are integrated according to a predefined hierarchy to obtain the version identifier of the service component. The present invention also enables the identification of the service components. The service components are identified from one or more service components on the basis of one or more user requirements.

An aspect of the present invention identifies differences between source codes (e.g. of different versions of a software), when each source code is organized using incorporated files. In one embodiment, in response to receiving identifiers of a first and second source codes (each source code being organized as a corresponding set of code files), listings of the instructions in the first and second source codes are constructed. Each listing is constructed, for example, by replacing each incorporate statement in the source code with instructions stored in a corresponding one of code files. The differences between the first and second source codes are then found by comparing the constructed listings of instructions.

Disclosed is a novel computer implemented system, on demand service, computer program product and a method that leverages combined concrete and symbolic execution and several fault-localization techniques to automatically detects failures and localizes faults in PHP Hypertext Preprocessor (“PHP”) Web applications.

A single software project in an integrated development environment (IDE) may be built for multiple target environments in a single build episode. Multiple different output artifacts may be generated by the build process for each of the target environments. The output artifacts are then deployed to the target environments, which may be homogeneous or heterogeneous environments. The same source project may be used to generate multiple output artifacts for the same target environment.

A system and method for efficient compilation and invocation of function type calls in a virtual machine (VM), or other runtime environment, and particularly for use in a system that includes a Java Virtual Machine (JVM). In accordance with an embodiment, the system comprises a virtual machine for executing a software application; a memory space for the application byte code comprising callsites generated using a function type carrier; a bytecode to machine code compiler which performs MethodHandle invocation optimizations; a memory space for the compiled machine code; and a memory space for storing software objects as part of the software application. The system enables carrying the function type from the original MethodHandle to a callsite in the generated bytecode, including maintaining generics information for a function type acquired from a target function, and generating a callsite based on the generics information for the function object invocation.

The present invention relates to a method for compiling code for a multi-core processor, comprising: detecting and optimizing a loop, partitioning the loop into partitions executable and mappable on physical hardware with optimal instruction level parallelism, optimizing the loop iterations and/or loop counter for ideal mapping on hardware, chaining the loop partitions generating a list representing the execution sequence of the partitions.

In one embodiment, a machine-implemented method programs a heterogeneous multi-processor computer system to run a plurality of program modules, wherein each program module is to be run on one of the processors The system includes a plurality of processors of two or more different processor types. According to the recited method, machine-implemented offline processing is performed using a plurality of SIET tools of a scheduling information extracting toolkit (SIET) and a plurality of SBT tools of a schedule building toolkit (SBT). A program module applicability analyzer (PMAA) determines whether a first processor of a first processor type is capable of running a first program module without compiling the first program module. Machine-implemented online processing is performed using realtime data to test the scheduling software and the selected schedule solution.

In one embodiment of the invention, a method is disclosed for modifying a pre-existing application program for multi-processing and/or distributed parallel processing. The method includes searching an application program for a computational loop; analyzing the computational loop to determine independence of the computational transactions of the computational loop; and replacing the computational loop with master code and slave code to provide master-slave execution of the computational loop in response to analyzing the computational loop to determine independence of the computational transactions of the computational loop. Multiple instances of the modified application program are executed to provide multi-processing and/or distributed parallel processing.

This invention relates to a method, computer readable medium, and apparatus for identifying one or more problematic loops in an application. This invention provides a Directed Acyclic Graph or DAG representation of structure of one or more loops in the application by performing a static and a dynamic analysis of the application source code and depicts the loop information as LoopID, loop weight, total loop iteration, average loop iteration, total loop iteration time, average loop iteration time and embedded vector size. This aids a programmer to concentrate on problematic loops in the application and analyze them further for potential parallelism.

A binary library overload instruction is received at an embedded computing device that executes a write-protected firmware build. The binary library overload instruction specifies a write-protected binary library of the write-protected firmware build to be overloaded by execution of an alternative binary library instead of the write-protected binary library of the write-protected firmware build. The alternative binary library is configured within a random access memory (RAM) storage area to execute instead of the write-protected binary library as specified in the received binary library overload instruction. The write-protected firmware build is executed using the alternative binary library instead of the write-protected binary library specified in the binary library overload instruction.

A software streaming platform may be implemented that predictively chooses units of a program to download based on the value of downloading the unit. In one example, a program is divided into blocks. The sequence in which blocks of the program historically have been requested is analyzed in order to determine, for a given history, what block is the next most likely to be requested. Blocks then may be combined into chunks, where each chunk represents a chain of blocks that have a high likelihood of occurring in a sequence. A table is then constructed indicating, for a given chunk, the chunks that are most likely to follow the given chunk. Based on the likelihood table and various other considerations, the value of downloading particular chunks is determined, and the chunk with the highest expected value is downloaded.

The present invention relates generally to client-server architectures for allowing generic upload and download functionality between a web application at a server and a client. One exemplary method includes sending a download/upload request to a web application at the server, where the download/upload request specifies at least one file to download/upload; receiving a transmission from the server; parsing the transmission to identify a download/upload command and an associated download/upload manifest, where the download/upload manifest includes executable code that, when executed on the client, will perform the download/upload of the at least one file.

A system for blueprint-driven environment template creation in a virtual infrastructure comprises a processor and a memory. The processor is configured to receive a blueprint, receive an environment template configuration, and build an environment template using the blueprint and the environment template configuration. The environment template is for provisioning an environment. The environment is for deploying an application. The memory is coupled to the processor and is configured to provide the processor with instructions.

Embodiments provide various techniques for dynamic adjustment of a number of threads for execution in any domain based on domain utilizations. In a multiprocessor system, the utilization for each domain is monitored. If a utilization of any of these domains changes, then the number of threads for each of the domains determined for execution may also be adjusted to adapt to the change.

Methods and systems to identify and reproduce concurrency bugs in multi-threaded programs are disclosed. An example method disclosed herein includes defining a data type. The data type includes a first predicate associated with a first thread of a multi-threaded program that is associated with a first condition, a second predicate that is associated with a second thread of the multi-threaded program, the second predicate being associated with a second condition, and an expression that defines a relationship between the first predicate and the second predicate. The relationship, when satisfied, causes the concurrency bug to be detected. A concurrency bug detector conforming to the data type is used to detect the concurrency bug in the multi-threaded program.

The invention relates to a method of use of certain derivatives of formula (I) in the form of any one of its stereoisomers or a mixture thereof, and wherein R1 represents a hydrogen atom, a C1-4 alkyl or alkenyl group, or a (CHR)2OH group, each R being a hydrogen atom or a methyl group; R2 represents a hydrogen atom or a methyl, ethyl or n-propyl group; and R3 represents a hydrogen atom or a methyl group, as perfuming ingredients. The present invention concerns also certain compounds and compositions or articles containing such compounds.

An individual alkamide and/or a mixture having two or more different alkamides, is disclosed for changing, masking or reducing the unpleasant flavor impression of an unpleasant-tasting substance or mixture of substances. The alkamide can be trans-pellitorine; cis-pellitorine; 2Z,4Z- or 2Z,4E-decadienoic acid-N-isobutylamide; 2E,4E-decadienoic acid-N-([2S]-2-methylbutyl)amide; 2E,4E-decadienoic acid-N-([2R]-2-methylbutylamide); 2E,4Z-decadienoic acid-N-(2-methylbutyl)amide; achilleamide; sarmentine; 2E- or 3E-decenoic acid-N-isobutylamide; 3E-nonenoic acid-N-isobutylamide; spilanthol; homospilanthol; 2E,6Z,8E-decatrienoic acid-N-([2R]-2-methylbutyl)amide; 2E- or 2Z-decen-4-oic acid-N-isobutylamide; α-sanshool; α-hydroxysanshool; γ-hydroxysanshool; γ-hydroxysanshool; γ-hydroxyisosanshool; γ-dehydrosanshool; γ-sanshool; bungeanool; isobungeanool; dihydrobungeanool; or tetrahydrobungeanool, or combinations thereof.

It is to provide a technique for preventing aggregation or caking of menthol at the time of its keeping. In addition, it is to provide a lipid composition, which can show excellent thermal stability even in the case of high temperature at the time of keeping menthol and at the time of blending in a product, does not cause mutual aggregation of powders, particles, flakes, pellets, sticks and the like of menthol, and can maintain its shape retention property. From 10 to 50% by mass of sterols are added to and mixed with from 50 to 90% by mass of menthol, and the resultant is melted with heating. Paraffins may be further added and mixed in an amount of 20% by mass or less, based on the lipid composition.

A substrate such as a fabric may be provided with a fragrance during washing or rinsing process by the addition to the wash water of a free-flowing solid fragrance-providing composition that comprises a fragrance deposited on a particulate carrier along with a water soluble salt of an alkali metal or an alkaline earth metal.

Long-lasting fragrance delivery systems and uses of the systems to provide fragrance-emitting articles with a long-lasting fragrance are disclosed herein. The long-lasting fragrance delivery systems include an emulsion of silicone-based polyurethane, fragrance, and a carrier.

A film formed from a water-soluble polymer matrix within which is contained at least one fragrance is provided. The film is water-sensitive (e.g., water-soluble, water-dispersible, etc.) so that upon contact with a sufficient amount of water, the polymer matrix loses its integrity over time to increasingly expose the fragrance to the ambient environment for releasing its odor. The ability to incorporate a fragrance into the polymer matrix is achieved in the present invention by controlling a variety of aspects of the film construction, including the nature of the fragrance, the nature of the water-soluble polymer, the manner in which the polymer matrix and fragrance are melt processed, etc. For example, the fragrance may be injected directly into the extruder and melt blended with the water-soluble polymer. In this manner, the costly and time-consuming steps of pre-encapsulation or pre-compounding of the fragrance into a masterbatch are not required. Furthermore, to obtain a balance between the ability of the fragrance to release the desired odor during use and likewise to minimize the premature exhaustion of the odor during melt processing, the fragrance is selected to have a boiling point (at atmospheric pressure) within a certain range, such as from about 125° C. to about 350° C.

The present invention relates to compounds of formula (I) in the form of any one of its stereoisomers or a mixture thereof, and wherein R1 represents a substituent of the benzene ring and is a bromine atom or a linear, branched or cyclic C1-8 alkyl, alkenyl, alkoxy or alkenyloxy group; R2 represents a C1-3 alkyl group; and R3 represents a hydrogen atom or a methyl or ethyl group; and their use as perfuming ingredients, for instance to impart odor notes of the watery/ozone type.

1-(3/4-isobutyl-1/6-methylcyclohex-3-enyl)methanols and derivatives thereof having appreciable floral and hesperidic odor notes, their use as fragrance ingredient and perfumed products comprising them.

The present invention relates to novel pyrimidine derivatives and their use in perfume compositions. The novel pyrimidine derivatives of the present invention are represented by the following formula: wherein m and n are integers of 0 or 1, with the proviso that when m is 0, n is 1 and when m is 1, n is 0; andwherein the dashed circle represents either single or double bonds.

Recovery of ethanol from a crude ethanol product obtained from the hydrogenation of acetic acid using an extractive distillation column. A diluted acid stream, comprising less than 30 wt. % acetic acid, is used as the extractive agent and is fed at a point above the crude feed stream. The column yields a residue that comprises ethanol, acetic acid, and water. The diluted acid stream may be separated from the residue and returned to the extractive distillation column.

The present invention is directed to processes for the recovery of ethanol from a crude ethanol product obtained from the hydrogenation of acetic acid using a low energy process. The crude ethanol product is separated in one or more columns. At least one of the columns is operated at a controlled pressure to enhance separation of ethanol and organics. In one embodiment, there are at least two columns that operate at controlled pressures.

Disclosed herein are processes for alcohol production by reducing an esterification product, such as ethyl acetate. The processes comprise esterifying acetic acid and an alcohol such as ethanol to produce an esterification product. The esterification product may be recovered using an extractive separation. The esterification product is reduced with hydrogen in the presence of a catalyst to obtain a crude reaction mixture comprising the alcohol, in particular ethanol, which may be separated from the crude reaction mixture.

A method for cultivating Monarda fistulosaincludes planting seeds at rates between about 2.5 and about 5 pounds per acre, preferably about 4 pounds per acre. Fuel costs are reduced because seeding, mowing the first season, and harvesting in seasons thereafter are all that is required. Reduction in herbicide use results from the heavy rate of planting, improved germination attributed to rolling, and the plant's natural herbicides which are more highly effective when seeded at the higher rate. The method includes seeding, mowing during a first growing season, and harvesting each season thereafter. This method results in oil without weed contamination and carvacrol levels are high.

A process for preparing isophorone (3,5,5-trimethyl-2-cyclohexen-1-one) is provided wherein distillation vapors from the work-up of product fractions are recycled to earlier stages of operation of the process.

A filtration method is disclosed for recovering purified polyether polyol comprising the steps of providing an aqueous solution of a polyether polyol containing an alkali metal catalyst residual formed from a transesterification process utilizing an alkali metal catalyst, contacting the aqueous solution with a stoichiometric excess of magnesium sulfate, magnesium sulfite or a combination thereof to form a second aqueous solution, wherein said stoichiometric excess is based on the amount of said alkali metal catalyst residual. Water is removed from the second aqueous solution at a temperature above a set limit of said polyether polyol to produce a dehydrated slurry containing a polyether polyol phase substantially free of residual alkali metal and a precipitated solid phase comprising sulfate and/or sulfite salts of the alkali metal catalyst, magnesium hydroxide, and excess magnesium sulfate and/or sulfite, wherein the particle size distribution of said precipitated solid phase is controlled to minimize the amount of particles therein that are smaller than 3 microns. The dehydrated slurry is then passed through a filtration system to separate the polyether polyol phase from the precipitated solid phase.

An improved method for recovering a purified polyether polyol comprising the steps of providing an aqueous solution of a polyether polyol containing an alkali metal catalyst residual formed from a transesterification process, contacting the aqueous solution with a stoichiometric excess of magnesium sulfate to form a second aqueous solution, removing water from said second aqueous solution at a temperature above the melt temperature of said polyether polyol to produce a dehydrated slurry containing a molten polyether polyol phase essentially free of residual alkali metal and a precipitated solid phase comprising sulfate and/or sulfite salts of the alkali metal catalyst, magnesium hydroxide, and excess magnesium sulfate and/or sulfide, passing the dehydrated slurry of through a filtration system comprising a filtration press to separate the molten polyether polyol phase from the precipitated solid phase, wherein the filtration press is treated with a filter aid that is essentially free of transition metal oxide content, separating the molten polyether polyol phase substantially free of water, residual alkali metal catalyst and transition metal contaminants from the precipitated solid phase and recovering polyether polyol from the separated polyether polyol phase.

Disclosed is an idle stop control device capable of relieving reaction force (kickback) of a handle occurring at idle stop controlled by the control of the idle stop control device. Specifically, an EPSECU (20) detects the rotational speed of an electric motor by detecting the rotational angle (θm) of the electric motor using a resolver (22), and at the same time, detects the steering torque using a torque sensor (23). Subsequently, the EPSECU determines whether or not the rotational speed of the electric motor and the steering torque are inside an idle stop transition area (P) by referring to a table (28) stored in a memory (27) in advance. When either or both of the rotational speed of the electric motor and the steering torque are outside the idle stop transition area (P), a signal requesting the prohibition of idle stop transition is output to an idle stop control device (10) via a cable (15). Upon receiving the signal requesting the prohibition of idle stop transition, the idle stop control device (10) prohibits the control of transition to idle stop even when conditions for idle stop are met.

There is provided an engine restart control device. A controller is configured to stop an engine which is adapted to generate a driving force for running a vehicle when a predetermined stop condition is met and configured to restart the engine when a predetermined restart condition is met after stopping the engine. A steering torque detector is configured to detect a steering torque of a steering wheel which is adapted to be operated by a driver. The controller includes an origin torque setting unit configured to set the steering torque detected by the steering torque detector when the predetermined stop condition is met and the engine is stopped as an origin torque. The controller restarts the engine when the steering torque detected by the steering torque detector exceeds a predetermined threshold with reference to the origin torque set by the origin torque setting unit.

A system for controlling a plurality of vehicles can include at least one communications bus and a plurality of RFID detection tags that can be fixed to the communications bus equidistant from each other to define a plurality of RFID regions. Each vehicle within an RFID region can further include an RFID reader for receiving information from, and transmitting information to, the RFID tags. As the vehicle enters the RFID region for a particular RFID tag, the position of the vehicle (within the RFID region) can be communicated to the communications bus. A traffic control unit can be connected to the communications bus, and monitor can be in communication with a plurality of remotely controlled traffic control assets, such as stop signs, yield signs, traffic cones. After receiving position information on the vehicle, the monitor can selectively activate the traffic devices remotely to control vehicle traffic flow.

Disclosed is a feature for a vehicle that enables taking precautionary actions in response to conditions on the road network around or ahead of the vehicle, in particular, a blind intersection along a section of road. A database that represents the road network is used to determine locations where a blind intersection is located along a section of road. Then, precautionary action data is added to the database to indicate a location at which a precautionary action is to be taken about the blind intersection located along the section of road. A precautionary action system installed in a vehicle uses this database, or a database derived therefrom, in combination with a positioning system to determine when the vehicle is at a location that corresponds to the location of a precautionary action. When the vehicle is at such a location, a precautionary action is taken by a vehicle system as the vehicle is approaching a blind intersection.

Dive computers in accordance with embodiments of the invention are disclosed that store information concerning a dive site. The stored information can be accessed during the dive to provide information concerning such things as points of interest and/or hazards. One embodiment of the invention includes a processor, memory connected to the processor, a pressure transducer connected to the processor and configured to measure depth, and a display connected to the processor. In addition, the memory contains factual information concerning a dive site, and the processor is configured to display at least a portion of the stored factual information concerning the dive site via the display.

A method of adjusting a speed of a mobile machine is provided. Image data of a location is collected where currently generated sensor data and previously generated sensor data indicate a discontinuity in sensor data. The image data is analyzed to determine if a non-motion blur score for the image data is above a threshold value. Then, a speed of the mobile machine is adjusted based on a determination that the non-motion blur score is above the threshold value.

An apparatus for estimating a travel path of a vehicle is mounted on the vehicle; and includes: an object detection device that detects an object lying ahead of the vehicle; a stationary object detection device that determines whether a detected object is a stationary object; a device that calculates an approximate straight line indicating a path of the stationary object from the temporal positional data for the stationary object projected on two-dimensional coordinates using a vehicle position as a starting point; a device that calculates a orthogonal line which passes through a midpoint in the temporal positional data for the stationary object and goes straight with respect to the approximate straight line on the two-dimensional coordinates; and a device that calculates a vehicle turning radius from an intersection point where the orthogonal line intersects with a x axis.

Navigation systems and associated methods for providing navigation services are provided. Information associated with a desired route for a vehicle, such as a route between a current location and a desired destination, may be determined. Additionally, contextual information associated with the vehicle may be identified. Based upon the desired route and the contextual information, a direction may be generated for presentation to one or more users, and the generated direction may be output for presentation.

According to a map display device, from current location information acquired by a current location acquiring unit 6 and boundary coordinate information in time zone information acquired by a time zone information acquiring unit 22, it is determined whether or not a vehicle 9 is located within a set area which is provided in the range of a predetermined distance from a boundary of a time zone to which a current location of the vehicle 9 belongs, and if it is determined that the vehicle 9 is located within the set area, a display unit 3 displays distinctively the time zone to which the current location of the vehicle 9 belongs and a time zone which is adjacent to the corresponding time zone through the set area.

A map display device includes: current location calculating unit for calculating a current location; specific region dedicated database for storing map data permitted only inside a specific region; specific region permitted database for storing data for displaying the inside of the specific region outside the specific region; outside-specific-region database for storing map data of the outside of the specific region available both inside and outside the specific region; controller for generating display data for displaying a map of the outside of the specific region using map data from the outside-specific-region database, and generating display data for displaying an image of a permitted map attribute to the inside of the specific region using the data from the permitted database, when the current location is outside the specific region; and display unit for displaying an image of the map or the permitted map attribute based on the display data.

In one embodiment, a navigation system provides predictive natural guidance utilizing a mobile landmark based on location data. The location data may be a schedule. A controller receives data of a schedule of a mobile landmark. The location data could be collected in real time or estimated. The mobile landmark may be a vehicle or a celestial body. The controller correlates a route from an origin location to a destination location and the location of the mobile landmark. The controller generates a message based on the correlation. The message is output during presentation of the route and references the mobile landmark.