744 search results - page 74 / 149 » Observations on the Decidability of Transitions |
DAC
1996
ACM
14 years 1 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
HOST
2009
IEEE
14 years 28 days ago
2009
IEEE
Hardware Trojans in integrated circuits and systems have become serious concern to fabless semiconductor industry and government agencies in recent years. Most of the previously p...
ECAI
2006
Springer
14 years 25 days ago
2006
Springer
A new search algorithm for solving distributed constraint optimization problems (DisCOPs) is presented. Agents assign variables sequentially and propagate their assignments asynchr...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper studies price properties in continuous double-auction markets in the presence of marketmakers, agents with special responsibilities for maintaining liquidity and orderl...
INTERSPEECH
2010
13 years 4 months ago
2010
The phenomenon of anticipatory coarticulation provides a basis for the observed asynchrony between the acoustic and visual onsets of phones in certain linguistic contexts. This ty...