9626 search results - page 1378 / 1926 » Invariant Based Programming |
175
click to vote
ATVA
2004
Springer
16 years 15 days ago
2004
Springer
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
172
click to vote
CP
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
183
click to vote
ESTIMEDIA
2004
Springer
16 years 14 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
211
click to vote
IFIP
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. This papers presents new Global Positioning System (GPS)based route discovery algorithms for on-demand routing in MANETs, called Position-based Selective Flooding (PSF). ...
196
click to vote
IFIP
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...