5506 search results - page 959 / 1102 » Visualizing Software Changes |
103
click to vote
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Heterogeneous multiprocessors are growingly important in the multi-core era due to their potential for high performance and energy efficiency. In order for software to fully real...
121
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
135
click to vote
ESAW
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...
108
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...