Sciweavers

6149 search results - page 147 / 1230
» Revealing the programming process
Sort
View
CCECE
2006
IEEE
15 years 7 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
121
Voted
JECR
2000
136views more  JECR 2000»
15 years 18 days ago
Modeling the Supply-Demand Interaction in Electronic Commerce: A Bi-Level Programming Approach
The purpose of this paper consists in establishing the model for the supply-demand interaction in the age of electronic commerce. First of all, the study uses the individual objec...
Daniel Y. Shee, Tzung-I Tang, Gwo-Hshiung Tzeng
90
Voted
ICRA
2006
IEEE
86views Robotics» more  ICRA 2006»
15 years 6 months ago
The Statistical Dynamics of Programmed Self-assembly
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
Nils Napp, Samuel Burden, Eric Klavins
ASPDAC
2004
ACM
80views Hardware» more  ASPDAC 2004»
15 years 6 months ago
Exploiting program execution phases to trade power and performance for media workload
Abstract- Processing streaming media comprisesseveral program phases (often distinct) that are periodic and independent of application data. In this paper we characterize execution...
Subhasis Banerjee, G. Surendra, S. K. Nandy
ASWEC
2008
IEEE
15 years 2 months ago
Embedding Architectural Practices into Extreme Programming
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
Amir Azim Sharifloo, Amir S. Saffarian, Fereidoon ...