1748 search results - page 124 / 350 » Methods to Create and Use Cross-Domain Analysis Patterns |
116
Voted
CC
2000
Springer
15 years 7 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
120
Voted
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes the design and performance of a new asynchronous method handling (AMH) mechanism that allows CORBA servers to process client requests asynchronously. AMH deco...
113
Voted
CANDC
2009
ACM
15 years 9 months ago
2009
ACM
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...
101
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Nuclear magnetic resonance (NMR) spectral analysis has recently become one of the major means for the detection and recognition of metabolic changes of disease state, physiologica...
140
Voted
SDL
2003
15 years 4 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...