Sciweavers

1719 search results - page 230 / 344
» Software Re-Documentation Process and Tool
Sort
View
133
Voted
IJHPCA
2002
101views more  IJHPCA 2002»
15 years 3 months ago
SCALA: A Performance System For Scalable Computing
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
Xian-He Sun, Thomas Fahringer, Mario Pantano
166
Voted
TCS
2002
15 years 3 months ago
CASL: the Common Algebraic Specification Language
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
Egidio Astesiano, Michel Bidoit, Hélè...
154
Voted
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 2 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...
152
Voted
HCI
2009
15 years 1 months ago
The Impact of Automation Assisted Aircraft Separation on Situation Awareness
This study compared situation awareness across three flight deck decision aiding modes. Pilots resolved air traffic conflicts using a click and drag software tool. In the automated...
Arik-Quang Dao, Summer L. Brandt, Vernol Battiste,...
136
Voted
TASLP
2010
113views more  TASLP 2010»
14 years 10 months ago
Spherical Harmonic Analysis of Wavefields Using Multiple Circular Sensor Arrays
Spherical harmonic decomposition of wavefields is not only an active problem in acoustic signal processing but also a useful tool in a plethora of applications such as 3D beamform...
Thushara D. Abhayapala, Aastha Gupta