Sciweavers

126 search results - page 8 / 26
» Decreasing Diagrams II
Sort
View
ECOOPW
1997
Springer
14 years 2 months ago
Semantics Through Pictures
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
Stuart Kent, Ali Hamie, John Howse, Franco Civello...
ICDCS
1997
IEEE
14 years 3 months ago
Multi-threading and Remote Latency in Software DSMs
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
Kritchalach Thitikamol, Peter J. Keleher
GLOBECOM
2010
IEEE
13 years 8 months ago
Improving the Energy Balance of Field-Based Routing in Wireless Sensor Networks
For high-density networks, several studies have proposed field-based routing paradigms to uniformly distribute the traffic load throughout the network. However, as network density ...
Goce Trajcevski, Oliviu Ghica, Peter Scheuermann, ...
ICDE
2006
IEEE
169views Database» more  ICDE 2006»
15 years 4 days ago
Making Designer Schemas with Colors
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
Nuwee Wiwatwattana, H. V. Jagadish, Laks V. S. Lak...
DATE
1998
IEEE
103views Hardware» more  DATE 1998»
14 years 3 months ago
Efficient Encoding Schemes for Symbolic Analysis of Petri Nets
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
Enric Pastor, Jordi Cortadella