-
公开(公告)号：US20120185830A1
公开(公告)日：2012-07-19
申请号：US13391744
申请日：2009-09-30
申请人： David Baca
发明人： David Baca
IPC分类号： G06F9/44
CPC分类号： G06F11/3636 , G06F11/3604
摘要： A method of developing a tracing solution for the execution of blocks of computer code. The method comprises representing each block of code of an initial tracing solution as a vertex on an initial tracing solution graph. The vertices on the initial tracing solution graph constitute an initial set of vertices The method further comprises checking whether there are any redundant vertices in the initial set of vertices. Redundant vertices are vertices not needed for a tracing solution. If there are any redundant vertices in the initial set of vertices, one ore more of the redundant vertices is eliminated from the initial set of vertices, thereby deriving a reduced set of vertices.
摘要翻译： 开发用于执行计算机代码块的跟踪解决方案的方法。 该方法包括将初始跟踪解决方案的每个代码块表示为初始跟踪解图上的顶点。 初始跟踪解图上的顶点构成一组初始顶点。该方法还包括检查在初始顶点集中是否存在任何冗余顶点。 冗余顶点是跟踪解决方案不需要的顶点。 如果在初始的顶点集合中存在任何冗余的顶点，则从初始的顶点组中排除一个以上的冗余顶点，从而导出一组缩减的顶点。
-
公开(公告)号：US20160092320A1
公开(公告)日：2016-03-31
申请号：US14496552
申请日：2014-09-25
申请人： DAVID BACA
发明人： DAVID BACA
IPC分类号： G06F11/16
CPC分类号： G06F11/1641 , G06F11/0721 , G06F11/0757 , G06F11/1497 , G06F11/1645
摘要： An electronic fault detection unit is provided that has a first register, a second register, a comparator circuit, and a timer circuit. The first and second register can be written from a first software portion, and a second software portion, respectively. The comparator circuit is arranged to detect that both the first and second register have been written, verify a relationship between first data written to the first register and second data written to the second register, and signal a fault upon said verification failing. The timer circuit is arranged to signal a fault if said verification of the comparator circuit does not occur within a time limit.
摘要翻译： 提供了具有第一寄存器，第二寄存器，比较器电路和定时器电路的电子故障检测单元。 第一和第二寄存器可以分别从第一软件部分和第二软件部分写入。 比较器电路被配置为检测第一和第二寄存器是否被写入，验证写入第一寄存器的第一数据与写入第二寄存器的第二数据之间的关系，以及在所述验证失败时发信号。 如果比较电路的验证在时间限制内不发生，则定时器电路被布置为发信号通知故障。
-
公开(公告)号：US09223460B2
公开(公告)日：2015-12-29
申请号：US12971895
申请日：2010-12-17
IPC分类号： G06F3/048 , G06F3/0481
CPC分类号： G06F3/0481 , G06F3/04817
摘要： Embodiments of the present invention relate to systems, methods, and computer-storage media for organizing presentation of browser toolbars. In one embodiment, a toolbar of a web browser is presented. The toolbar has a search input box. Additionally, one or more application icons are presented on each of at least two sides of the search input box. An indication that a user has engaged an application icon of the toolbar is received. Further, an application window is presented beneath the search input box of the toolbar. The application window comprises content associated with the application icon.
摘要翻译： 本发明的实施例涉及用于组织浏览器工具栏的呈现的系统，方法和计算机存储介质。 在一个实施例中，呈现web浏览器的工具栏。 工具栏中有一个搜索输入框。 此外，在搜索输入框的至少两侧的每一侧上呈现一个或多个应用程序图标。 接收到用户已经参与了工具栏的应用程序图标的指示。 此外，应用程序窗口显示在工具栏的搜索输入框的下方。 应用程序窗口包括与应用程序图标相关联的内容。
-
公开(公告)号：US20130215155A1
公开(公告)日：2013-08-22
申请号：US13401237
申请日：2012-02-21
IPC分类号： G09G5/34
CPC分类号： G06F3/0485
摘要： Among other things, one or more techniques and/or systems are provided for maintaining an information bar associated with a visualization. The visualization may correspond to an interface configured to display one or more entities (e.g., a map interface may display location entities, such as coffee shops, and/or direction entities, such as portions of a route, within a map). Responsive to the visualization being populated, the information bar may be populated with one or more information panels corresponding to the one or more entities. For example, a first information panel may comprise coffee specials and hours of operation for a first coffee shop entity populated within the visualization. Responsive to a selection of an entity within the visualization, a corresponding information panel may (automatically) be scrolled to and/or highlighted within the information bar. In this way, the information bar may display information panels corresponding to entities of the visualization.
摘要翻译： 除其他之外，提供一个或多个技术和/或系统用于维护与可视化相关联的信息栏。 可视化可以对应于被配置为显示一个或多个实体的接口（例如，地图界面可以显示位置实体，例如咖啡店，和/或方向实体，诸如地图内的路线的部分）。 响应于正在填充的可视化，信息栏可以被填充有与一个或多个实体对应的一个或多个信息面板。 例如，第一信息面板可以包括在可视化中填充的第一咖啡店实体的咖啡特色和操作的小时。 响应于可视化内部的实体的选择，相应的信息面板可以（自动）在信息栏内被滚动和/或突出显示。 以这种方式，信息栏可以显示与可视化的实体相对应的信息面板。
-
5.发明授权Method and apparatus for enabling an executed control flow path through computer program code to be determined 有权能够确定通过计算机程序代码执行的控制流程路径的方法和装置公开(公告)号：US09477577B2
公开(公告)日：2016-10-25
申请号：US14233401
申请日：2011-07-20
申请人： David Baca
发明人： David Baca
CPC分类号： G06F11/3624 , G06F11/3466 , G06F11/3612 , G06F11/3636 , G06F2201/865 , G06F2201/88
摘要： A method of enabling an executed control flow path through computer program code to be determined. The method comprising modelling cumulative instruction counts for control flow paths through the computer program code, and inserting at least one probe within the computer program code to enable a cumulative instruction count value for at least one control flow path of the computer program code to be accessed.
摘要翻译： 能够确定通过计算机程序代码执行的控制流程的方法。 该方法包括对通过计算机程序代码的控制流程路径的累积指令计数进行建模，以及在计算机程序代码内插入至少一个探针，以使得能够访问计算机程序代码的至少一个控制流程路径的累积指令计数值 。
-
公开(公告)号：US09823983B2
公开(公告)日：2017-11-21
申请号：US14496552
申请日：2014-09-25
申请人： David Baca
发明人： David Baca
CPC分类号： G06F11/1641 , G06F11/0721 , G06F11/0757 , G06F11/1497 , G06F11/1645
摘要： An electronic fault detection unit is provided that has a first register, a second register, a comparator circuit, and a timer circuit. The first and second register can be written from a first software portion, and a second software portion, respectively. The comparator circuit is arranged to detect that both the first and second register have been written, verify a relationship between first data written to the first register and second data written to the second register, and signal a fault upon said verification failing. The timer circuit is arranged to signal a fault if said verification of the comparator circuit does not occur within a time limit.
-
公开(公告)号：US09557906B2
公开(公告)日：2017-01-31
申请号：US13401237
申请日：2012-02-21
IPC分类号： G09G5/00 , G06F3/0485
CPC分类号： G06F3/0485
摘要： Among other things, one or more techniques and/or systems are provided for maintaining an information bar associated with a visualization. The visualization may correspond to an interface configured to display one or more entities (e.g., a map interface may display location entities, such as coffee shops, and/or direction entities, such as portions of a route, within a map). Responsive to the visualization being populated, the information bar may be populated with one or more information panels corresponding to the one or more entities. For example, a first information panel may comprise coffee specials and hours of operation for a first coffee shop entity populated within the visualization. Responsive to a selection of an entity within the visualization, a corresponding information panel may (automatically) be scrolled to and/or highlighted within the information bar. In this way, the information bar may display information panels corresponding to entities of the visualization.
摘要翻译： 除其他之外，提供一个或多个技术和/或系统用于维护与可视化相关联的信息栏。 可视化可以对应于被配置为显示一个或多个实体的接口（例如，地图界面可以显示位置实体，例如咖啡店，和/或方向实体，诸如地图内的路线的部分）。 响应于正在填充的可视化，信息栏可以被填充有与一个或多个实体对应的一个或多个信息面板。 例如，第一信息面板可以包括在可视化中填充的第一咖啡店实体的咖啡特色和操作的小时。 响应于可视化内部的实体的选择，相应的信息面板可以（自动）在信息栏内被滚动和/或突出显示。 以这种方式，信息栏可以显示与可视化的实体相对应的信息面板。
-
公开(公告)号：US08762960B2
公开(公告)日：2014-06-24
申请号：US13391744
申请日：2009-09-30
申请人： David Baca
发明人： David Baca
IPC分类号： G06F9/44
CPC分类号： G06F11/3636 , G06F11/3604
摘要： A method of developing a tracing solution for the execution of blocks of computer code. The method comprises representing each block of code of an initial tracing solution as a vertex on an initial tracing solution graph. The vertices on the initial tracing solution graph constitute an initial set of vertices. The method further comprises checking whether there are any redundant vertices in the initial set of vertices. Redundant vertices are vertices not needed for a tracing solution. If there are any redundant vertices in the initial set of vertices, one or more of the redundant vertices is eliminated from the initial set of vertices, thereby deriving a reduced set of vertices.
摘要翻译： 开发用于执行计算机代码块的跟踪解决方案的方法。 该方法包括将初始跟踪解决方案的每个代码块表示为初始跟踪解图上的顶点。 初始跟踪解图上的顶点构成一组初始顶点。 该方法还包括检查在初始的顶点集合中是否存在任何冗余的顶点。 冗余顶点是跟踪解决方案不需要的顶点。 如果在初始的顶点集合中存在任何冗余顶点，则从初始的顶点组中消除一个或多个冗余顶点，从而导出一组缩减的顶点。
-
公开(公告)号：US20120159377A1
公开(公告)日：2012-06-21
申请号：US12971895
申请日：2010-12-17
IPC分类号： G06F3/048
CPC分类号： G06F3/0481 , G06F3/04817
摘要： Embodiments of the present invention relate to systems, methods, and computer-storage media for organizing presentation of browser toolbars. In one embodiment, a toolbar of a web browser is presented. The toolbar has a search input box. Additionally, one or more application icons are presented on each of at least two sides of the search input box. An indication that a user has engaged an application icon of the toolbar is received. Further, an application window is presented beneath the search input box of the toolbar. The application window comprises content associated with the application icon.
摘要翻译： 本发明的实施例涉及用于组织浏览器工具栏的呈现的系统，方法和计算机存储介质。 在一个实施例中，呈现web浏览器的工具栏。 工具栏中有一个搜索输入框。 此外，在搜索输入框的至少两侧的每一侧上呈现一个或多个应用程序图标。 接收到用户已经参与了工具栏的应用程序图标的指示。 此外，应用程序窗口显示在工具栏的搜索输入框的下方。 应用程序窗口包括与应用程序图标相关联的内容。
-
10.发明申请公开(公告)号：US20140157240A1
公开(公告)日：2014-06-05
申请号：US14233401
申请日：2011-07-20
申请人： David Baca
发明人： David Baca
IPC分类号： G06F11/36
CPC分类号： G06F11/3624 , G06F11/3466 , G06F11/3612 , G06F11/3636 , G06F2201/865 , G06F2201/88
摘要： A method of enabling an executed control flow path through computer program code to be determined. The method comprising modelling cumulative instruction counts for control flow paths through the computer program code, and inserting at least one probe within the computer program code to enable a cumulative instruction count value for at least one control flow path of the computer program code to be accessed.
摘要翻译： 能够确定通过计算机程序代码执行的控制流程的方法。 该方法包括对通过计算机程序代码的控制流程路径的累积指令计数进行建模，以及在计算机程序代码内插入至少一个探针，以使得能够访问计算机程序代码的至少一个控制流程路径的累积指令计数值 。
-
-
-
-
-
-
-
-
-
搜索结果
10 条记录 (耗时 0.011 秒)
