1638 search results - page 269 / 328 » Properties of input-consuming derivations |
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
Reducing the number of secondary data used to estimate the Clutter Covariance Matrix (CCM) for Space Time Adaptive Processing (STAP) techniques is still an active research topic. ...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Different geographic routing protocols have different requirements on routing metric designs to ensure proper operation. Combining a wrong type of routing metric with a ...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Many successful applications have proven the potential of Learning Classifier Systems and the XCS classifier system in particular in datamining, reinforcement learning, and func...