Sciweavers

1283 search results - page 209 / 257
» Object Initialization in X10
Sort
View
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
15 years 9 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
IPPS
1995
IEEE
15 years 9 months ago
Operating system support for concurrent remote task creation
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
Dejan S. Milojicic, David L. Black, Steven J. Sear...
ACIIDS
2009
IEEE
215views Database» more  ACIIDS 2009»
15 years 8 months ago
Proposed Nature Inspired Self-Organized Secure Autonomous Mechanism for WSNs
The field of wireless sensor network (WSN) is an important and challenging research area today. Advancements in sensor networks enable a wide range of environmental monitoring and ...
K. Saleem, Norsheila Fisal, M. S. Abdullah, A. B. ...
ECCV
2010
Springer
15 years 8 months ago
Multiple Hypothesis Video Segmentation from Superpixel Flows
Multiple Hypothesis Video Segmentation (MHVS) is a method for the unsupervised photometric segmentation of video sequences. MHVS segments arbitrarily long video streams by consider...
SGP
2004
15 years 8 months ago
Persistence Barcodes for Shapes
In this paper, we initiate a study of shape description and classification via the application of persistent homology to tangential constructions on geometric objects. Our techniq...
Gunnar Carlsson, Afra Zomorodian, Anne D. Collins,...