508 search results - page 59 / 102 » RPC in the x-Kernel: Evaluating New Design Techniques |
109
click to vote
VSTTE
2010
Springer
14 years 9 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
100
click to vote
TSE
2002
14 years 11 months ago
2002
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do n...
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
Designing temperature-aware microarchitectures for microprocessors at new technologies is becoming a critical requirement due to the exponentially increasing on-chip power density...
VRST
2004
ACM
15 years 5 months ago
2004
ACM
An important, potential application of image-based techniques is to create photo-realistic image-based environments for interactive walkthrough. However, existing image-based stud...
116
click to vote
ISVC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We have developed a new semi-automated method for segmenting images of biological cells seeded at low density on tissue culture substrates, which we use to improve the ge...