Sciweavers

6722 search results - page 937 / 1345
» Reuse-Conducive Development Environments
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 10 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
147
Voted
ICS
2003
Tsinghua U.
15 years 10 months ago
Performance characteristics of openMP constructs, and application benchmarks on a large symmetric multiprocessor
With the increasing popularity of small to large-scale symmetric multiprocessor (SMP) systems, there has been a dire need to have sophisticated, and flexible development and runt...
Nathan R. Fredrickson, Ahmad Afsahi, Ying Qian
ICS
2003
Tsinghua U.
15 years 10 months ago
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
Xiangmin Jiao, Michael T. Campbell, Michael T. Hea...
129
Voted
DATE
2010
IEEE
192views Hardware» more  DATE 2010»
15 years 10 months ago
PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks
—Recent developments have shown the possibility of leveraging silicon nanophotonic technologies for chip-scale interconnection fabrics that deliver high bandwidth and power effi...
Johnnie Chan, Gilbert Hendry, Aleksandr Biberman, ...
ITICSE
2010
ACM
15 years 10 months ago
Enhancing K-12 education with alice programming adventures
This paper describes the integration of the Alice 3D virtual worlds environment into many disciplines in elementary school, middle school and high school. We have developed a wide...
Susan H. Rodger, Maggie Bashford, Lana Dyck, Jenna...