Sciweavers

10615 search results - page 1746 / 2123
» Dynamic topic models
Sort
View
IPPS
1996
IEEE
15 years 9 months ago
Dag-Consistent Distributed Shared Memory
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...
Robert D. Blumofe, Matteo Frigo, Christopher F. Jo...
LICS
1996
IEEE
15 years 9 months ago
The Theory of Hybrid Automata
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
Thomas A. Henzinger
ICPIA
1992
15 years 9 months ago
Parallel Manipulations of Octrees and Quadtrees
Abstract. Octrees o er a powerful means for representing and manipulating 3-D objects. This paper presents an implementation of octree manipulations using a new approach on a share...
Vipin Chaudhary, K. Kamath, Prakash Arunachalam, J...
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 9 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
BVAI
2007
Springer
15 years 9 months ago
Different Binding Strategies for the Different Stages of Visual Recognition
Many think attention needs an executive to allocate resources. Although the cortex exhibits substantial plasticity, dynamic allocation of neurons seems outside its capability. Supp...
John K. Tsotsos, Antonio Jose Rodríguez-S&a...
« Prev « First page 1746 / 2123 Last » Next »