Sciweavers

1251 search results - page 193 / 251
» A Method for Component-Based Software and System Development
Sort
View
113
Voted
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 9 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
119
Voted
ISCAS
2006
IEEE
131views Hardware» more  ISCAS 2006»
15 years 8 months ago
Static generator model for analog power flow computation
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
Aaron St. Leger, Chika O. Nwankpa
ICCS
2005
Springer
15 years 8 months ago
Dynamic Memory Management in the Loci Framework
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
Yang Zhang, Edward A. Luke
119
Voted
WSCG
2000
93views more  WSCG 2000»
15 years 3 months ago
The Design and Application of High-Resolution 3D Stereoscopic Graphics Display on PC
This paper describes methods and procedures for real-time rendering of high-resolution 3D stereoscopic graphics using an improved 3D OpenGL accelerator on PC platform. The hardwar...
Duoduo Liao
SIGOPS
2010
72views more  SIGOPS 2010»
15 years 28 days ago
Semantic-less coordination of power management and application performance
A computer system often has multiple power management modules controlling different power knobs. Uncoordinated operation of these knobs not only leads to suboptimal operation but ...
Aman Kansal, Jie Liu, Abhishek Singh, Ripal Nathuj...