3239 search results - page 553 / 648 » A Logical Process Calculus |
92
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
112
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Multi-input addition is an important operation for many DSP and video processing applications. On FPGAs, multi-input addition has traditionally been implemented using trees of car...
108
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
In the last decade, the focus of fault-tolerance methods has tended towards circuit level modifications, such as transistor resizing, and away from expensive system level redunda...
74
Voted
ICDCS
2008
IEEE
15 years 7 months ago
2008
IEEE
In distributed systems that use active replication to achieve robustness, it is important to efficiently enforce consistency among replicas. The nonblocking mode helps to speed u...
85
Voted
ICDIM
2008
IEEE
15 years 7 months ago
2008
IEEE
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...