PC
2008
13 years 11 months ago
2008
Reconfigurable computing (RC) applications employing both microprocessors and FPGAs have potential for large speedup when compared with traditional (software) parallel application...
PC
2008
13 years 11 months ago
2008
PC
2008
13 years 11 months ago
2008
PC
2008
13 years 11 months ago
2008
In this paper, we assess the impact of heterogeneity on scheduling independent tasks on master-slave platforms. We assume a realistic one-port model where the master can communica...
JFP
2006
13 years 11 months ago
2006
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
IJAIT
2006
13 years 11 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
CACM
2010
13 years 11 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
ADT
2008
13 years 11 months ago
2008
