Sciweavers

2659 search results - page 53 / 532
» Do we mean the same
Sort
View
ESOP
1990
Springer
15 years 8 months ago
Algebraic Properties of Program Integration
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
Thomas W. Reps
SPIESR
2004
143views Database» more  SPIESR 2004»
15 years 5 months ago
An entropy-based objective evaluation method for image segmentation
Accurate image segmentation is important for many image, video and computer vision applications. Over the last few decades, many image segmentation methods have been proposed. How...
Hui Zhang, Jason E. Fritts, Sally A. Goldman
SIGCOMM
2012
ACM
13 years 6 months ago
NetPilot: automating datacenter network failure mitigation
The soaring demands for always-on and fast-response online services have driven modern datacenter networks to undergo tremendous growth. These networks often rely on scale-out des...
Xin Wu, Daniel Turner, Chao-Chih Chen, David A. Ma...
APAL
2006
62views more  APAL 2006»
15 years 4 months ago
Fundamental notions of analysis in subsystems of second-order arithmetic
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...
Jeremy Avigad, Ksenija Simic
ISSS
1996
IEEE
87views Hardware» more  ISSS 1996»
15 years 8 months ago
Breakpoints and Breakpoint Detection in Source Level Emulation
In this paper we discuss, what breakpoints in Source Level Emulationa are, how we can work with them and how we have to change the cicuit generated by high level synthesis to do s...
Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel