会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明申请
    • Source-to-source transformation for language dialects
    • 语言方言的源到源转换
    • US20070226708A1
    • 2007-09-27
    • US11388353
    • 2006-03-24
    • Pradeep Varma
    • Pradeep Varma
    • G06F9/45
    • G06F8/51
    • An analysis and source-to-source transformation framework covers dialects of programming languages that lack formal definition for all individual dialects. Multiple instantiations of the same compiler front-end tools can be used with different settings to create distinct intermediate forms and maps. Intermediate forms and maps are used in an individual analysis and source-to-source transformation context, and performing the analysis and source-to-source transformation thereupon. A unified tool set is desirably provided, including standard compiler front-end tools and code transformation/generation tools, wherein source code edits are carried out in order to make the source code more amenable to translation to intermediate forms. The analysis results or intermediate forms created by individual tools are used by other tools as well as further analyzed to create a map of the regions of validity and invalidity of the intermediate forms, and tracking the source-code edits performed in order to obtain the same. Among other benefits, this provides a choice of the best tools combination for maximum code analysis coverage.
    • 分析和源到源转换框架涵盖了对所有个人方言缺乏正式定义的编程语言的方言。 相同编译器前端工具的多个实例可以与不同的设置一起使用,以创建不同的中间格式和映射。 中间形式和地图用于个人分析和源到源转换环境,并进行分析和源到源转换。 期望提供统一的工具集,包括标准编译器前端工具和代码转换/生成工具,其中执行源代码编辑以便使源代码更适于翻译成中间形式。 由各种工具创建的分析结果或中间形式由其他工具使用,并进一步分析以创建中间形式的有效性和无效区域的映射,并跟踪执行的源代码编辑以获得相同的 。 除了其他好处之外,这提供了最佳代码分析覆盖的最佳工具组合的选择。
    • 7. 发明授权
    • Reduced-transistor, double-edged-triggered, static flip flop
    • 减少晶体管,双边触发,静态触发器
    • US06462596B1
    • 2002-10-08
    • US09599900
    • 2000-06-23
    • Pradeep Varma
    • Pradeep Varma
    • H03K3356
    • H03K3/356173H03K3/012H03K3/356156
    • A static, double-edge-triggered flip-flop has an upper data path and a lower data path connected between a data input node and an output terminal. The upper path includes a switch connected to a first data loop, and the lower path includes a switch connected to a second data loop. The first and second data loops share a forward path having a data-inverting circuit. In addition, each loop has a feedback path which contains only one element in the form of a switch. However, no data-inverting circuit is included in either of the feedback paths. Advantageously, all the elements of the flip-flop may be constructed using MOSFET transistors implemented according to any one of a variety of semiconductor technologies. In more than one particularly advantageous embodiments, the flip-flop is constructed using a total of twelve transistors. Through this simplified two-loop design, operational efficiency is improved, low metastability is achieved and costs of manufacture are lowered, all while maintaining low power requirements.
    • 静态双边沿触发器具有连接在数据输入节点和输出端之间的较高数据路径和较低数据路径。 上部路径包括连接到第一数据环路的开关,并且下部路径包括连接到第二数据环路的开关。 第一和第二数据环路共享具有数据反相电路的正向路径。 另外,每个循环都有一个反馈路径,其中只包含一个开关形式的元件。 然而,任一反馈路径中都不包括数据反相电路。 有利地,触发器的所有元件可以使用根据各种半导体技术中的任一种实现的MOSFET晶体管来构造。 在不止一个特别有利的实施例中,使用总共十二个晶体管来构造触发器。 通过这种简化的双回路设计,提高了运行效率,实现了低亚稳态,降低了制造成本,同时保持了低功率要求。
    • 8. 发明授权
    • Distributed server for real-time collaboration
    • 分布式服务器进行实时协作
    • US06334141B1
    • 2001-12-25
    • US09241991
    • 1999-02-02
    • Pradeep VarmaSuresh Kumar
    • Pradeep VarmaSuresh Kumar
    • G06F15163
    • H04L47/10G06F2209/505H04L12/1813H04L47/125H04L67/10H04L67/38
    • A distributed server for real-time collaboration is substituted for a centralized server to address the problem of the development of unacceptable communication and computation bottlenecks resulting from the use of a one-software-process-based centralized server running somewhere on the available network. The substitute distributed server improves scaleability of real-time collaboration by being based on multiple, independently-communicating, asynchronous, independent (i.e., no shared memory, data, variables, etc.) software processes. The processes can be distributed to multiple machines throughout the network and run simultaneously in order to avoid the centralized server's bottlenecks. To be used, a distributed server requires a disjoint, fully covering partitioning of a work space, wherein it can handle partition hierarchies and groups comprehensively. The distributed server solution is general because of the ability of distributed servers to work with different definitions of a modification. The distributed server solution is extensible because of its simple and comprehensive treatment of inter-partition synchronization.
    • 用于实时协作的分布式服务器被替换为集中式服务器,以解决由于使用在可用网络上某处运行的基于单软件过程的集中式服务器而导致的不可接受的通信和计算瓶颈的开发问题。 替代分布式服务器通过基于多个,独立通信,异步,独立(即,没有共享存储器,数据,变量等)软件处理来提高实时协作的可扩展性。 这些进程可以分布到整个网络中的多台机器并同时运行,以避免集中式服务器的瓶颈。 为了被使用,分布式服务器需要不相交,完全覆盖工作空间的分区,其中它可以全面地处理分区层次结构和组。 分布式服务器解决方案是一般的,因为分布式服务器可以使用不同的修改定义。 分布式服务器解决方案是可扩展的,因为它对分区间同步进行了简单而全面的处理。
    • 9. 发明申请
    • Wand: Concurrent Boxing System For All Pointers With Or Without Garbage Collection
    • 魔杖:所有指针的并发拳击系统或无垃圾收集
    • US20170031815A1
    • 2017-02-02
    • US14928790
    • 2015-10-30
    • Pradeep Varma
    • Pradeep Varma
    • G06F12/02G06F12/12G06F12/08
    • G06F12/0253G06F12/023G06F12/0261G06F12/0269G06F12/0891G06F12/12G06F2212/1024G06F2212/1044G06F2212/1048G06F2212/60
    • Boxed pointers are disclosed, for all pointers, for safe and sequential or parallel use. Since a pointer box can be arbitrarily large, it supports any fat pointer encoding possible. The boxed pointers are managed out of the same heap or stack space as ordinary objects, providing scalability by a shared use of the entire program memory. The boxed pointers and objects are managed together by the same parallel, safe, memory management system including an optional precise, parallel garbage collector. To manage boxes independently of the garbage collector, explicit allocation and de-allocation means are provided including explicit killing of boxes using immediate or deferred frees. The entire system is constructed out of atomic registers as the sole shared memory primitive, avoiding all synchronization primitives and related expenses. Atomic pointer operations including pointer creation or deletion (malloc or free) are provided.
    • 对于所有指针,公开了用于安全和顺序或并行使用的盒装指针。 由于指针盒可以任意大,它可以支持任何胖指针编码。 盒装指针由与普通对象相同的堆或堆栈空间进行管理,通过共享使用整个程序存储器提供可扩展性。 盒装指针和对象由同一个并行,安全的内存管理系统一起管理,包括可选的精确并行垃圾收集器。 为了独立于垃圾收集器管理盒子,提供明确的分配和解除分配手段,包括使用立即或延迟释放来显式杀死盒子。 整个系统由原子寄存器构建为唯一的共享存储器原语,避免所有同步原语和相关费用。 提供包括指针创建或删除(malloc或free)的原子指针操作。