14244 search results - page 2620 / 2849 » Modeling Program Predictability |
129
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
135
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
111
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
131
Voted
COMSWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
131
click to vote
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...