Sciweavers

3311 search results - page 387 / 663
» Deductive Object Programming
Sort
View
172
Voted
ISORC
1998
IEEE
15 years 8 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
99
Voted
ICCAD
1997
IEEE
106views Hardware» more  ICCAD 1997»
15 years 8 months ago
BIST TPG for faults in system backplanes
A built-in self-test (BIST) methodology to test system backplanes by using BIST functionality in each of its constituent boards is presented. Since the configurations of systems ...
Chen-Huan Chiang, Sandeep K. Gupta
134
Voted
CGF
2008
130views more  CGF 2008»
15 years 3 months ago
Reduced Depth and Visual Hulls of Complex 3D Scenes
Depth and visual hulls are useful for quick reconstruction and rendering of a 3D object based on a number of reference views. However, for many scenes, especially multi-object, th...
Alexander Bogomjakov, Craig Gotsman
116
Voted
COR
2007
143views more  COR 2007»
15 years 3 months ago
Discrete bandwidth allocation considering fairness and transmission load in multicast networks
As a promising solution to tackle the network heterogeneity in multicasting, layered multicast protocols such as Receiver-driven layered multicast (RLM) and Layered video multicas...
Chae Y. Lee, Hee K. Cho
137
Voted
IPPS
2010
IEEE
15 years 1 months ago
Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
Bo Zhang, Binoy Ravindran