268 search results - page 11 / 54 » Supporting multiple accelerators in high-level programming m... |
ICFEM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
101
click to vote
FMCO
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
IPPS
2009
IEEE
15 years 5 months ago
2009
IEEE
Driven by novel biological wet lab techniques such as pyrosequencing there has been an unprecedented molecular data explosion over the last 2-3 years. The growth of biological seq...
WSCG
2004
15 years 2 days ago
2004
3D design software has since long employed graphics chips for low-quality real-time previewing. But their dramatically increased computing power now paves the way to accelerate th...
TOOLS
1998
IEEE
15 years 2 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...