32 search results - page 3 / 7 » Implementing Dynamic Aggregations of Abstract Machines in th... |
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--In this article we present KRASH, a tool for reproducible generation of system-level CPU load. This tool is intended for use in shared memory machines equipped with multi...
ENTCS
2007
13 years 5 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
IEEEPACT
2009
IEEE
14 years 13 days ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
SIGECOM
1999
ACM
13 years 10 months ago
1999
ACM
Markets for electronic goods provide the possibility of exploring new and more complex pricing schemes, due to the flexibility of information goods and negligible marginal cost. I...
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
We present actorNet, a mobile agent platform for wireless sensor networks (WSNs). WSNs are well-suited to multiagent systems: agent autonomy reduces the need for communication, sa...