Sciweavers

906 search results - page 83 / 182
» Modeling methodology for application development in petroleu...
Sort
View
FASE
2007
Springer
16 years 13 days ago
Flexible and Extensible Notations for Modeling Languages
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
EUROMICRO
2009
IEEE
16 years 1 months ago
Using Design Patterns for Refactoring Real-World Models
— Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, ...
Hamed Yaghoubi Shahir, Ehsan Kouroshfar, Raman Ram...
ISCA
1998
IEEE
128views Hardware» more  ISCA 1998»
15 years 10 months ago
Analytic Evaluation of Shared-memory Systems with ILP Processors
This paper develops and validates an analytical model for evaluating various types of architectural alternatives for shared-memory systems with processors that aggressively exploi...
Daniel J. Sorin, Vijay S. Pai, Sarita V. Adve, Mar...
DAC
2009
ACM
16 years 7 months ago
Multicore parallel min-cost flow algorithm for CAD applications
Computational complexity has been the primary challenge of many VLSI CAD applications. The emerging multicore and manycore microprocessors have the potential to offer scalable perf...
Yinghai Lu, Hai Zhou, Li Shang, Xuan Zeng
ICRA
2006
IEEE
128views Robotics» more  ICRA 2006»
16 years 9 days ago
Collision Detection of Cylindrical Rigid Bodies for Motion Planning
Abstract— This paper presents a novel methodology for detecting collisions of cylindrically shaped rigid bodies moving in three dimensions. This algorithm uses line geometry and ...
John Ketchell, Pierre M. Larochelle