Sciweavers

6197 search results - page 1097 / 1240
» Sandbridge Software Tools
Sort
View
ESCIENCE
2006
IEEE
15 years 11 months ago
An Extensible Service Development Toolkit to Support Earth Science Grids
This paper describes the development and use of an extensible service provider toolkit (ESP) for an Earth Science service-oriented architecture (SOA). Grid-enabled Earth Science a...
Jason Cope, Henry M. Tufo, Matthew Woitaszek
EUROMICRO
2006
IEEE
15 years 11 months ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...
143
Voted
ISPASS
2006
IEEE
15 years 11 months ago
ATTILA: a cycle-level execution-driven simulator for modern GPU architectures
The present work presents a cycle-level execution-driven simulator for modern GPU architectures. We discuss the simulation model used for our GPU simulator, based in the concept o...
Victor Moya Del Barrio, Carlos González, Jo...
SCAM
2006
IEEE
15 years 11 months ago
SMART C: A Semantic Macro Replacement Translator for C
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
Matthew Jacobs, E. Christopher Lewis
158
Voted
ACL2
2006
ACM
15 years 11 months ago
Phylogenetic trees in ACL2
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
Warren A. Hunt Jr., Serita M. Nelesen
« Prev « First page 1097 / 1240 Last » Next »