3456 search results - page 640 / 692 » Byte Code Engineering |
132
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
124
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
116
Voted
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
123
Voted
WWW
2009
ACM
16 years 2 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...
258
Voted
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...