217 search results - page 28 / 44 » Computational complexity of dynamical systems: The case of c... |
SBMF
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
WOA
2001
15 years 1 months ago
2001
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...
HPCA
2003
IEEE
16 years 2 days ago
2003
IEEE
A challenging issue in today's server systems is to transparently deal with failures and application-imposed requirements for continuous operation. In this paper we address t...
101
click to vote
CF
2004
ACM
15 years 5 months ago
2004
ACM
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide a user the transparency of anywhere, anyplace, anytime computing. Pervasive compu...
75
Voted
CN
2010
14 years 12 months ago
2010
The natural world is enormous, dynamic, incredibly diverse, and highly complex. Despite the inherent challenges of surviving in such a world, biological organisms evolve, self-org...