14244 search results - page 2620 / 2849 » Modeling Program Predictability |
154
click to vote
OOPSLA
2009
Springer
15 years 11 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...
159
click to vote
ISSTA
2009
ACM
15 years 11 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...
128
click to vote
DATE
2008
IEEE
15 years 11 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...
154
click to vote
COMSWARE
2007
IEEE
15 years 11 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 ...
159
click to vote
CVPR
2007
IEEE
15 years 11 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...