457 search results - page 6 / 92 » Construction of a Highly Dependable Operating System |
IADIS
2004
13 years 9 months ago
2004
As e-commerce is considered an excellent alternative for business to reach new customers, interests in design principles for e-commerce websites, are increasing. However, not many...
DATE
2000
IEEE
14 years 25 days ago
2000
IEEE
This paper presents a new approach on combined highlevel synthesis and partitioning for FPGA-based multi-chip emulation systems. The goal is to synthesize a prototype with maximal...
HASE
1999
IEEE
14 years 21 days ago
1999
IEEE
Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having ...
ENTCS
2008
13 years 8 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
IWFM
1998
13 years 9 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...