Sciweavers

1368 search results - page 204 / 274
» Understanding Software Systems Using Reverse Engineering Tec...
Sort
View
134
Voted
FOSSACS
2008
Springer
15 years 4 months ago
Erasure and Polymorphism in Pure Type Systems
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
Nathan Mishra-Linger, Tim Sheard
178
Voted
HPDC
1999
IEEE
15 years 7 months ago
The Cactus Computational Toolkit and using Distributed Computing to Collide Neutron Stars
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
Gabrielle Allen, Tom Goodale, Joan Massó, E...
199
Voted
EMSOFT
2011
Springer
14 years 2 months ago
Aciom: application characteristics-aware disk and network i/o management on android platform
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
Hyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, In...
WECWIS
2005
IEEE
201views ECommerce» more  WECWIS 2005»
15 years 8 months ago
A Categorization of Collaborative Business Process Modeling Techniques
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
Stephan Roser, Bernhard Bauer
112
Voted
ECLIPSE
2004
ACM
15 years 8 months ago
Supporting Java traits in Eclipse
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
Philip J. Quitslund, Emerson R. Murphy-Hill, Andre...