2520 search results - page 286 / 504 » Model-checking behavioral programs |
128
Voted
DLS
2010
15 years 20 days ago
2010
First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers ract over common scenarios with first-class classes. When it comes...
132
Voted
TWC
2010
14 years 9 months ago
2010
We investigate the problem of minimizing the overall transmission delay of packets in a multi-access wireless communication system, where the transmitters have average power constr...
137
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
118
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
116
Voted
ENTCS
2006
15 years 2 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...