11394 search results - page 2075 / 2279 » Error-Correcting Data Structures |
116
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
147
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
115
click to vote
IEICET
2010
15 years 2 months ago
2010
Design of high gain and high efficiency antennas is one of the key challenges in antenna engineering and especially in millimeter wave communication systems. Various types of plan...
151
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
144
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...