QUINCY, IL US

1. 20110016441 METHOD AND SYSTEM FOR DYNAMIC AUTOMATED HINT GENERATION FOR ENHANCED REACHABILITY ANALYSIS 01-20-2011
2. 20100332814 PORTABLE LIGHT WEIGHT LDAP DIRECTORY SERVER AND DATABASE 12-30-2010
3. 20100332532 DISTRIBUTED DIRECTORY ENVIRONMENT USING CLUSTERED LDAP SERVERS 12-30-2010
4. 20100311511 Jump Shot Tool for Billiards and Pool - Equipment and methods for shooting a billiards jump shot to hop a cue ball off the surface of a billiards table 12-09-2010
5. 20100306824 TRUST AND IDENTITY IN SECURE CALENDAR SHARING COLLABORATION 12-02-2010
6. 20100293513 Method and System for Design Simplification Through Implication-Based Analysis 11-18-2010
7. 20100269077 Trace Containment Detection of Combinational Designs via Constraint-Based Uncorrelated Equivalence Checking 10-21-2010
8. 20100251241 MANAGING JOB EXECUTION - This disclosure describes monitoring the execution of jobs in a work plan 09-30-2010
9. 20100251197 METHOD, SYSTEM AND APPLICATION FOR SEQUENTIAL COFACTOR-BASED ANALYSIS OF NETLISTS 09-30-2010
10. 20100218170 Method System and Computer Program for Metering Usage of Software Products Based on Real-Time Benchmarking of Processing Power 08-26-2010
11. 20100218148 Method and System for Sequential Netlist Reduction Through Trace-Containment 08-26-2010
12. 20100218054 Secure Scan Design - circuit configuration for testing integrated circuitry featuring a number of system scan flip flops wired in series and connected 08-26-2010
13. 20100050145 Optimizing a Netlist Circuit Representation by Leveraging Binary Decision Diagrams to Perform Rewriting 02-25-2010
14. 20100042825 System and Method for Network Image Propagation without a Predefined Network 02-18-2010
15. 20090300559 Incremental Speculative Merging - incremental speculative merge structure which enables the elimination of invalid merge candidates without requiring 12-03-2009
16. 20090281860 Meeting Scheduling System with Options for Resolving Scheduling Conflicts 11-12-2009
17. 20090133027 Systems and Methods for Project Management Task Prioritization 05-21-2009
18. 20090113450 Adaptive Prevention of Data Loss During Continuous Event Tracing with Limited Buffer Size 04-30-2009
19. 20090100385 Optimal Simplification of Constraint-Based Testbenches 04-16-2009
20. 20090089730 Scalable Dependent State Element Identification 04-02-2009
21. 20090083105 Meeting Coordination System with Dependency Rules for Alternate Meeting Processing 03-26-2009
22. 20090079274 Electromagnetic Morphing Apparatus for Hot Pluggable Architected Systems 03-26-2009
23. 20090037875 Rapidly Assembling and Deploying Selected Software Solutions 02-05-2009
24. 20090037269 Integration of Cash Registers and WiFi Support for Customers 02-05-2009
25. 20080300578 Sub-atmospheric Wound-Care System - Methods and systems are provided for a sub-atmospheric wound-care system for treating an open wound 12-04-2008