Sciweavers

1305 search results - page 66 / 261
» The design context of concurrent computation systems
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 1 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
NOSSDAV
2005
Springer
15 years 10 months ago
Meeting CPU constraints by delaying playout of multimedia tasks
Multimedia applications today constitute a significant fraction of the workload running on portable devices such as mobile phones, PDAs and MP3 players. However, the processors i...
Balaji Raman, Samarjit Chakraborty, Wei Tsang Ooi
BMCBI
2007
94views more  BMCBI 2007»
15 years 4 months ago
Lightweight genome viewer: portable software for browsing genomics data in its chromosomal context
Background: Lightweight genome viewer (lwgv) is a web-based tool for visualization of sequence annotations in their chromosomal context. It performs most of the functions of large...
Jeremiah J. Faith, Andrew J. Olson, Timothy S. Gar...
CLUSTER
2001
IEEE
15 years 8 months ago
A Class of Loop Self-Scheduling for Heterogeneous Clusters
Distributed Computing Systems are a viable and less expensive alternative to parallel computers. However, a serious difficulty in concurrent programming of a distributed system is...
Anthony T. Chronopoulos, Manuel Benche, Daniel Gro...
BIRTHDAY
2004
Springer
15 years 10 months ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow