14298 search results - page 32 / 2860 » Dynamic Languages and Applications |
141
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
126
Voted
TOOLS
2010
IEEE
15 years 1 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
124
Voted
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
133
click to vote
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
140
Voted
EUROSSC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Research in context-aware systems shows that using context information enables the development of personalized mobile applications. The context acquisition process in a c...