Sciweavers

841 search results - page 80 / 169
» Data Encapsulation in Software Components
Sort
View
SC
2005
ACM
14 years 3 months ago
Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
Lorin Hochstein, Jeffrey Carver, Forrest Shull, Si...
JSW
2006
89views more  JSW 2006»
13 years 10 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
ICFEM
2010
Springer
13 years 8 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
CODES
2001
IEEE
14 years 1 months ago
A practical tool box for system level communication synthesis
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
Denis Hommais, Frédéric Pétro...
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
14 years 4 months ago
Integrated Debugging of Large Modular Robot Ensembles
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
Benjamin D. Rister, Jason Campbell, Padmanabhan Pi...