91 search results - page 15 / 19 » Symmetry Breaking Ordering Constraints |
CAV
2000
Springer
14 years 6 days ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, we study phase transition behavior emerging from the interactions among multiple agents in the presence of noise. We propose a simple discrete-time model in which a...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
Navigating through new voicemail messages to find messages of interest is a time-consuming task, particularly for high-volume users. When checking messages under a time constraint...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- The design of a spherical wrist with parallel architecture is the object of this article. This study is part of a larger project, which aims to design and to build an eel robot f...