2540 search results - page 298 / 508 » Abstract Logics as Dialgebras |
108
Voted
AC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
99
Voted
CIA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
74
Voted
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
113
Voted
GI
2003
Springer
15 years 6 months ago
2003
Springer
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...
81
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—As FPGA sizes and densities grow, their manufacturing yields decrease. This work looks toward reclaiming some of this lost yield. Several previous works have suggested f...