Sciweavers

7694 search results - page 549 / 1539
» An Implementation of an Applicative File System
Sort
View
AES
2011
Springer
232views Cryptology» more  AES 2011»
14 years 7 months ago
Reliable performance prediction for multigrid software on distributed memory systems
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
Giuseppe Romanazzi, Peter K. Jimack, Christopher E...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
JTRES
2009
ACM
16 years 1 months ago
Real time Java on resource-constrained platforms with Fiji VM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
Filip Pizlo, Lukasz Ziarek, Jan Vitek
PACT
2005
Springer
16 years 16 days ago
Experimenting with a Multi-agent E-Commerce Environment
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
Costin Badica, Maria Ganzha, Marcin Paprzycki, Ama...
ICARCV
2002
IEEE
185views Robotics» more  ICARCV 2002»
16 years 6 hour ago
Evolving cooperative robotic behaviour using distributed genetic programming
Cooperative robotic systems provide design and implementation challenges that are not easy to solve. This paper describes a parallel implementation for evolving cooperative roboti...
Chris H. Messom, Matthew G. Walker