5433 search results - page 713 / 1087 » Tool Support for Traceability-Adaptation |
213
click to vote
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
177
click to vote
ISPASS
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
189
click to vote
SAINT
2006
IEEE
16 years 29 days ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...
174
Voted
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
16 years 29 days ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
183
click to vote
DOLAP
2006
ACM
16 years 28 days ago
2006
ACM
On-line analytical processing (OLAP) provides tools to explore and navigate into data cubes in order to extract interesting information. Nevertheless, OLAP is not capable of expla...