30267 search results - page 5608 / 6054 » Process Modelling Languages |
139
click to vote
ICPADS
2007
IEEE
15 years 11 months ago
2007
IEEE
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
130
click to vote
ICPP
2007
IEEE
15 years 11 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...
127
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper describes a method of mirror localization to calibrate a catadioptric imaging system. Even though the calibration of a catadioptric system includes the estim...
167
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
141
click to vote
ICSNC
2007
IEEE
15 years 11 months ago
2007
IEEE
Radiology, which deals with medical images for diagnosis purposes, has seen a lot of improvements during the last decades thanks to information technology. The migration from stud...