Sciweavers

3819 search results - page 609 / 764
» An Outsourcing Model of Software Development
Sort
View
105
Voted
AINA
2009
IEEE
15 years 7 months ago
Predictive Simulation of HPC Applications
The architectures which support modern supercomputing machinery are as diverse today, as at any point during the last twenty years. The variety of processor core arrangements, thr...
Simon D. Hammond, J. A. Smith, Gihan R. Mudalige, ...
158
Voted
DISCO
1993
156views Hardware» more  DISCO 1993»
15 years 4 months ago
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
Peter Fritzson, Vadim Engelson, Lars Viklund
91
Voted
PR
2007
176views more  PR 2007»
15 years 9 days ago
A computer vision method to locate cold spots in foods in microwave sterilization processes
A major challenge in developing advanced thermal processess based on electromagnetic heating is to determine the location of cold spots in foods. A rapid and reliable method was d...
Ram Bhuwan Pandit, Juming Tang, Frank Liu, Galina ...
116
Voted
ECBS
2009
IEEE
164views Hardware» more  ECBS 2009»
15 years 7 months ago
Semantically Enhanced Containers for Concurrent Real-Time Systems
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquett...
ISSTA
2004
ACM
15 years 6 months ago
Exploiting purity for atomicity
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer