3228 search results - page 400 / 646 » Basics of Compiler Design |
163
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
192
click to vote
AINA
2005
IEEE
15 years 8 months ago
2005
IEEE
—In this paper, a traffic aggregation based SIP over MPLS network architecture is proposed to integrate SIP protocol with traffic engineering (TE) enabled MPLS network seamlessly...
149
click to vote
APPT
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents design and experimental results of a parallel linear equation solver by asynchronous partial Gauss-Seidel method. The basic idea of this method is derived from ...
291
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
174
click to vote
CIS
2007
Springer
15 years 8 months ago
2007
Springer
Multi-domain application environments where distributed domains interoperate with each other are becoming a reality in Internet-based enterprise applications. The secure interoper...