Sciweavers

647 search results - page 91 / 130
» Supporting Changes in Structure in Causal Model Construction
Sort
View
CORR
2008
Springer
137views Education» more  CORR 2008»
13 years 7 months ago
Design and Implementation Aspects of a novel Java P2P Simulator with GUI
Peer-to-peer networks consist of thousands or millions of nodes that might join and leave arbitrarily. The evaluation of new protocols in real environments is many times practical...
Vassilios Chrissikopoulos, George Papaloukopoulos,...
CGF
1998
134views more  CGF 1998»
13 years 7 months ago
Progressive Iso-Surface Extraction from Hierarchical 3D Meshes
A multiresolution data decomposition offers a fundamental framework supporting compression, progressive transmission, and level-of-detail (LOD) control for large two or three dime...
Wenli Cai, Georgios Sakas, Roberto Grosso, Thomas ...
ECBS
2005
IEEE
92views Hardware» more  ECBS 2005»
14 years 1 months ago
Towards a Systemic Approach to Autonomic Systems Engineering
An autonomic system is structured as a network of autonomic elements that collaborate to achieve the system’s purpose. This paper examines the potential benefit of using well-es...
David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, ...
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
14 years 1 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
ISSS
2000
IEEE
128views Hardware» more  ISSS 2000»
14 years 4 days ago
Hardware Synthesis from SPDF Representation for Multimedia Applications
Even though high-level hardware synthesis from dataflow graphs becomes popular in designing DSP systems, currently used dataflow models are inefficient to deal with emerging multi...
Chanik Park, Soonhoi Ha