Sciweavers

15840 search results - page 2849 / 3168
» The Control of Synchronous Systems
Sort
View
SAGA
2007
Springer
16 years 27 days ago
Approximate Discovery of Random Graphs
In the layered-graph query model of network discovery, a query at a node v of an undirected graph G discovers all edges and non-edges whose endpoints have different distance from ...
Thomas Erlebach, Alexander Hall, Matús Miha...
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
16 years 27 days ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
SSS
2007
Springer
16 years 27 days ago
Stabilization of Loop-Free Redundant Routing
Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore...
Jorge Arturo Cobb
SSS
2007
Springer
16 years 27 days ago
Stabilization of Flood Sequencing Protocols in Sensor Networks
Flood is a communication primitive that can be used by the base station of a sensor network to send a copy of a message to every sensor in the network. When a sensor receives a fl...
Young-ri Choi, Mohamed G. Gouda
W2GIS
2007
Springer
16 years 27 days ago
XFormsGI - Extending XForms for Geospatial and Sensor Data
User interaction is mostly based on forms. However, forms are restricted to alphanumerical data – the editing of geospatial data is not supported. This statement does not only ho...
Jürgen Weitkämper, Thomas Brinkhoff
« Prev « First page 2849 / 3168 Last » Next »