TICC-paradigm to build formally verified parallel software...
Time estimator for object oriented software development
Time management and task completion and prediction software
Time-interval based monitor function for dynamic insertion...
Timer service computer program components
Tip technology and its application to sparcompiler pascal
Toggling software characteristics in a fault tolerant and...
Token-based linking
Tool for converting .MAP file formats
Tool for converting legacy applications to web services
Tool for generating a re-generative functional test
Tool for implementing Floating-Point related applications...
Tool for visualizing software architecture
Tool to generate active page interface instructions
Tooling framework system and method for code generation
Tools and techniques for instrumenting interfaces of units...
Tools for stacking uncoordinated software projects
Topological best match naming convention apparatus and...
Topological best match naming convention apparatus and...
Trace based method for the analysis, benchmarking and tuning of