4211 search results - page 172 / 843 » Types as Abstract Interpretations |
145
click to vote
ENTCS
2008
15 years 4 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
149
click to vote
TELETRAFFIC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
164
click to vote
ADAEUROPE
2010
Springer
15 years 9 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
131
click to vote
IFL
2001
Springer
15 years 8 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
140
click to vote
CPM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...