Sciweavers

4007 search results - page 574 / 802
» Automotive Software Integration
Sort
View
B
2007
Springer
16 years 25 days ago
Augmenting B with Control Annotations
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
Wilson Ifill, Steve A. Schneider, Helen Treharne
FASE
2007
Springer
16 years 24 days ago
Testing Scenario-Based Models
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
Hillel Kugler, Michael J. Stern, E. Jane Albert Hu...
HUC
2007
Springer
16 years 24 days ago
Addressing Mobile Phone Diversity in Ubicomp Experience Development
Mobile phones are a widely-available class of device with supporting communications infrastructure which can be appropriated and exploited to support ubicomp experiences. However m...
Chris Greenhalgh, Steve Benford, Adam Drozd, Marti...
ICESS
2007
Springer
16 years 24 days ago
Handling Control Data Flow Graphs for a Tightly Coupled Reconfigurable Accelerator
In an embedded system including a base processor integrated with a tightly coupled accelerator, extracting frequently executed portions of the code (hot portion) and executing thei...
Hamid Noori, Farhad Mehdipour, Morteza Saheb Zaman...
SEKE
2007
Springer
16 years 22 days ago
Improving Separation of Concerns in the Development of Scientific Applications
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
Seyed Masoud Sadjadi, J. Martínez, T. Soldo...