Sciweavers

14360 search results - page 2535 / 2872
» Time Modeling in MARTE
Sort
View
TOCL
2008
113views more  TOCL 2008»
15 years 6 months ago
Abstract state machines capture parallel algorithms: Correction and extension
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
Andreas Blass, Yuri Gurevich
TON
2008
239views more  TON 2008»
15 years 6 months ago
Characterization of failures in an operational IP backbone network
Abstract--As the Internet evolves into a ubiquitous communication infrastructure and supports increasingly important services, its dependability in the presence of various failures...
Athina Markopoulou, Gianluca Iannaccone, Supratik ...
CG
2005
Springer
15 years 6 months ago
A new algorithm for Boolean operations on general polygons
A new algorithm for Boolean operations on general planar polygons is presented. It is available for general planar polygons (manifold or non-manifold, with or without holes). Edge...
Yu Peng, Jun-Hai Yong, Wei-Ming Dong, Hui Zhang, J...
TPDS
2008
169views more  TPDS 2008»
15 years 6 months ago
Dynamic Resource Management in Energy Constrained Heterogeneous Computing Systems Using Voltage Scaling
An ad hoc grid is a wireless heterogeneous computing environment without a fixed infrastructure. This study considers wireless devices that have different capabilities, have limite...
Jong-Kook Kim, Howard Jay Siegel, Anthony A. Macie...
CGF
2005
142views more  CGF 2005»
15 years 6 months ago
Garment Motion Capture Using Color-Coded Patterns
In this paper we present an image-based algorithm for surface reconstruction of moving garment from multiple calibrated video cameras. Using a color-coded cloth texture, we reliab...
Volker Scholz, Timo Stich, Michael Keckeisen, Mark...
« Prev « First page 2535 / 2872 Last » Next »