Sciweavers

22698 search results - page 4159 / 4540
» Modeling in Software Engineering
Sort
View
ACMICEC
2004
ACM
107views ECommerce» more  ACMICEC 2004»
16 years 7 days ago
Reasoning about commitments in multiple concurrent negotiations
Automated negotiation by software agents is a key enabling technology for agent mediated e-commerce. To this end, this paper considers an important class of such negotiations — ...
Thuc Duong Nguyen, Nicholas R. Jennings
ISLPED
2004
ACM
124views Hardware» more  ISLPED 2004»
16 years 7 days ago
The design of a low power asynchronous multiplier
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
Yijun Liu, Stephen B. Furber
CC
2004
Springer
115views System Software» more  CC 2004»
16 years 6 days ago
Periodic Polyhedra
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
Benoît Meister
EGH
2004
Springer
16 years 5 days ago
A flexible simulation framework for graphics architectures
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly conï¬...
Jeremy W. Sheaffer, David P. Luebke, Kevin Skadron
FIDJI
2004
Springer
16 years 5 days ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
« Prev « First page 4159 / 4540 Last » Next »