7303 search results - page 35 / 1461 » Optimality for dynamic patterns |
ICPPW
1999
IEEE
15 years 2 months ago
1999
IEEE
Location management is an essential service in mobile networks. It provides mechanisms for recording and querying location of mobile units in the network. This is needed for estab...
ECEASST
2006
14 years 10 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
Abstract - This paper presents a fast and accurate global routing algorithm, DpRouter, based on two efficient techniques: (1) dynamic pattern routing (Dpr), and (2) segment movemen...
107
click to vote
PRL
2002
14 years 9 months ago
2002
The "fly algorithm" is a fast artificial evolution-based technique devised for the exploration of parameter space in pattern recognition applications. In the application...
VSTTE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...