1027 search results - page 107 / 206 » Callgraph properties of executables |
111
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
135
Voted
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Stand-alone threading libraries lack sophisticated memory management techniques. In this paper, we present a methodology that allows threading libraries that implement non-preempti...
136
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
One method for compacting executable computer code is to replace commonly repeated sequences of instructions with macro instructions from a decoding dictionary. The size of the de...
126
Voted
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
149
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...