1027 search results - page 198 / 206 » Callgraph properties of executables |
117
click to vote
HASE
1997
IEEE
15 years 3 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
110
click to vote
VISUALIZATION
1997
IEEE
15 years 3 months ago
1997
IEEE
Modular Visualization Environments (MVEs) have recently been regarded as the de facto standard for scientific data visualization, mainly due to adoption of visual programming sty...
108
Voted
EDBT
2009
ACM
15 years 3 months ago
2009
ACM
Consider a scientist who wants to explore multiple data sets to select the relevant ones for further analysis. Since the visualization real estate may put a stringent constraint o...
102
click to vote
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
CASES
2001
ACM
15 years 3 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...