Sciweavers

391 search results - page 24 / 79
» Computational Challenges in Cell Simulation: A Software Engi...
Sort
View
ICSM
2007
IEEE
15 years 4 months ago
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...
88
Voted
ASPDAC
2010
ACM
151views Hardware» more  ASPDAC 2010»
14 years 7 months ago
Source-level timing annotation for fast and accurate TLM computation model generation
This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...
Kai-Li Lin, Chen Kang Lo, Ren-Song Tsay
COMGEO
2010
ACM
14 years 6 months ago
Implementing a Bayesian approach to criminal geographic profiling
The geographic profiling problem is to create an operationally useful estimate of the location of the home base of a serial criminal from the known locations of the offense sites....
Mike O'Leary
94
Voted
VISUALIZATION
2003
IEEE
15 years 2 months ago
Producing High Quality Visualizations of Large-Scale Simulations
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
Voicu Popescu, Chris Hoffmann, Sami Kilic, Mete So...
ICSE
2011
IEEE-ACM
14 years 1 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...