5451 search results - page 571 / 1091 » Typed Operational Semantics |
162
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...
144
click to vote
ISCAS
2006
IEEE
16 years 27 days ago
2006
IEEE
—This paper describes a low cost, low power, versatile computation module that can be used as a coarse-grain building block in multimedia processors. The module, which has a data...
141
click to vote
LCN
2006
IEEE
16 years 27 days ago
2006
IEEE
Simulators for wireless sensor networks are a valuable tool for system development. However, current simulators can only simulate a single level of a system at once. This makes sy...
133
click to vote
ICALP
2005
Springer
16 years 12 days ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
158
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— A new type of master-slave control methodology, which has the merits of both unilateral and bilateral ones, is proposed. The methodology is built on switching the unilateral fe...