5600 search results - page 313 / 1120 » Synthesizing robust systems |
174
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
168
click to vote
ETFA
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
166
click to vote
GLVLSI
2006
IEEE
16 years 21 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
156
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— In this article we present a novel design of a lowpower geometric mapping co-processor that can be used for high-performance graphics system. The processor can carry ou...
152
click to vote
ACMDIS
2006
ACM
16 years 19 days ago
2006
ACM
Our physical bodies play a central role in shaping human experience in the world, understanding of the world, and interactions in the world. This paper draws on theories of embodi...