公开(公告)号：US06594803B1

公开(公告)日：2003-07-15

申请号：US09406016

申请日：1999-09-24

申请人： Laura A. Weber ,  Fritz A. Boehm ,  Jean Anne Booth ,  Terri Lynn Fukuhara ,  Jeffrey S. Leonard ,  Shawn D. Strawbridge ,  Douglas N. Good

发明人： Laura A. Weber ,  Fritz A. Boehm ,  Jean Anne Booth ,  Terri Lynn Fukuhara ,  Jeffrey S. Leonard ,  Shawn D. Strawbridge ,  Douglas N. Good

IPC分类号： G06F1705

CPC分类号： G06F17/5022

摘要： The present invention is a grid that is a monitor that detects a cross product of design verification events and reports a single status event to a database. One embodiment of the present invention comprises axes declarations, logic expressions, and a grid declaration. An axes declaration produces a cross product of verification events. A logic expressions evaluates whether a specific verification event has occurred. A grid declaration returns the status event. The present invention further comprises a grid where the cross-product of verification events comprises a fully or a sparsely populated cross-product of verification events. Additionally, the present invention further comprises a grid that uses N-Nary signals. And, the present invention comprises a parser to translate the monitor source file code into a standard computer language code.

摘要翻译： 本发明是一种网格，其是检测设计验证事件的交叉产物并将单个状态事件报告给数据库的监视器。 本发明的一个实施例包括轴声明，逻辑表达式和网格声明。 轴声明产生验证事件的交叉积。 逻辑表达式评估是否发生了特定的验证事件。 网格声明返回状态事件。 本发明还包括网格，其中验证事件的交叉产物包括验证事件的完全或人口稀少的交叉积。 另外，本发明还包括使用N-Nary信号的网格。 并且，本发明包括将监视源文件代码转换为标准计算机语言代码的解析器。

公开(公告)号：US06457170B1

公开(公告)日：2002-09-24

申请号：US09373840

申请日：1999-08-13

申请人： Fritz A. Boehm ,  Jean Anne Booth

发明人： Fritz A. Boehm ,  Jean Anne Booth

IPC分类号： G06F944

CPC分类号： G06F8/71

摘要： The present invention is a method and apparatus for building a software system in a networked software development environment, utilizing existing software version control and build tools such as RCS and MAKE. Source and object files are loaded into network caches shared by multiple users at local workstations. At individual workstations, a cache link structure generated from a user-created build list is provided to the software building program, which then builds the desired software system using links to cached files. The present invention thus minimizes the amount of computing resources required to build software programs by eliminating the need to store multiple local copies of building block software files, and to rebuild object files that may be unchanged from prior builds. A method for maintaining and updating network caches to maximize the efficiency of cache link creation is also disclosed.

摘要翻译： 本发明是一种在网络化软件开发环境中构建软件系统的方法和装置，利用现有的软件版本控制和构建诸如RCS和MAKE的工具。 源和目标文件被加载到本地工作站上的多个用户共享的网络缓存中。 在单个工作站，从用户创建的构建列表生成的缓存链接结构被提供给软件构建程序，该软件构建程序然后使用到缓存文件的链接构建所需的软件系统。 因此，本发明通过消除对存储构建块软件文件的多个本地副本的需要以及重建可能与先前版本不变的对象文件来最小化构建软件程序所需的计算资源的数量。 还公开了一种用于维护和更新网络缓存以最大化高速缓存链路创建的效率的方法。

公开(公告)号：US06889180B1

公开(公告)日：2005-05-03

申请号：US09406017

申请日：1999-09-24

申请人： Laura A. Weber ,  Fritz A. Boehm ,  Jean Anne Booth ,  Jeffrey S. Leonard ,  Shawn D. Strawbridge ,  Douglas N. Good

发明人： Laura A. Weber ,  Fritz A. Boehm ,  Jean Anne Booth ,  Jeffrey S. Leonard ,  Shawn D. Strawbridge ,  Douglas N. Good

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： The present invention is a monitor that detects a design verification event and reports a status event to a database. One embodiment of the present invention comprises a monitor declaration, zero or more signal declarations, zero or more bus declarations and one or more logic expressions. A logic expression, formulated using the declared signals and buses, is used to evaluate whether a specific verification event has occurred. The present invention further comprises a monitor where the signal of the signal declaration of the monitor is an N-Nary signal. Additionally, the present invention comprises a parser to translate the monitor source file code into a standard computer language code.

摘要翻译： 本发明是检测设计验证事件并向数据库报告状态事件的监视器。 本发明的一个实施例包括监视器声明，零个或多个信号声明，零个或多个总线声明和一个或多个逻辑表达式。 使用声明的信号和总线制定的逻辑表达式用于评估是否发生了特定的验证事件。 本发明还包括监视器，其中监视器的信号声明的信号是N-Nary信号。 另外，本发明包括将监视源文件代码转换为标准计算机语言代码的解析器。

公开(公告)号：US06438743B1

公开(公告)日：2002-08-20

申请号：US09374588

申请日：1999-08-13

申请人： Fritz A. Boehm ,  Jean Anne Booth

发明人： Fritz A. Boehm ,  Jean Anne Booth

IPC分类号： G06F944

CPC分类号： G06F8/71

摘要： The present invention is a method and apparatus for building a software system in a networked software development environment, utilizing existing software version control and build tools such as RCS and MAKE. Source and object files are loaded into network caches shared by multiple users at local workstations. At individual workstations, a cache link structure generated from a user-created build list is provided to the software building program, which then builds the desired software system using links to cached files. The present invention thus minimizes the amount of computing resources required to build software programs by eliminating the need to store multiple local copies of building block software files, and to rebuild object files that may be unchanged from prior builds. A method for maintaining and updating network caches to maximize the efficiency of cache link creation is also disclosed.

摘要翻译： 本发明是一种在网络化软件开发环境中构建软件系统的方法和装置，利用现有的软件版本控制和构建诸如RCS和MAKE的工具。 源和目标文件被加载到本地工作站上的多个用户共享的网络缓存中。 在单个工作站，从用户创建的构建列表生成的缓存链接结构被提供给软件构建程序，该软件构建程序然后使用到缓存文件的链接构建所需的软件系统。 因此，本发明通过消除对存储构建块软件文件的多个本地副本的需要以及重建可能与先前版本不变的对象文件来最小化构建软件程序所需的计算资源的数量。 还公开了一种用于维护和更新网络缓存以最大化高速缓存链路创建的效率的方法。

公开(公告)号：US20160227361A1

公开(公告)日：2016-08-04

申请号：US14917787

申请日：2014-09-19

申请人： Jean Anne BOOTH ,  Jonathan GUY ,  Brian KIRCHER

发明人： Jean Anne BOOTH ,  Jonathan Guy ,  Brian KIRCHER

IPC分类号： H04W4/02

CPC分类号： H04W4/02 ,  G08B21/0446 ,  G08B21/0453 ,  H04W4/90

摘要： Embodiments are directed to devices, systems, and methods for monitoring and assisting a subject in various life tasks.

摘要翻译： 实施例涉及用于在各种生活任务中监视和辅助受试者的装置，系统和方法。