1187 search results - page 110 / 238 » Graph-Based Procedural Abstraction |
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
108
Voted
PERCOM
2005
ACM
16 years 1 months ago
2005
ACM
Application-level protocol abstraction is required to support seamless mobility in next generation heterogeneous wireless networks. Session Initiation Protocol (SIP) proch an abst...
103
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
111
click to vote
HPCN
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Computational environments used by scientists should provide high-level support for scientific processes that involve the integrated ematic use of familiar abstractions f...
124
click to vote
PLILP
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...