Sciweavers

4924 search results - page 290 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
194
Voted
AADEBUG
1995
Springer
15 years 9 months ago
Software Testability Measurement for Assertion Placement and Fault Localization
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
Jeffrey M. Voas
149
Voted
PERCOM
2003
ACM
16 years 5 months ago
PILGRIM: A Location Broker and Mobility-Aware Recommendation System
Mobile computing adds a mostly unexplored dimension to data mining: user's position is a relevant piece of information, and recommendation systems, selecting and ranking link...
Mauro Brunato, Roberto Battiti
203
Voted
SIGSOFT
2006
ACM
16 years 3 days ago
Bit level types for high level reasoning
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
Ranjit Jhala, Rupak Majumdar
EDBTW
2006
Springer
15 years 9 months ago
An Integrated Platform for Analyzing Molecular-Biological Data Within Clinical Studies
To investigate molecular-biological causes and effects of diseases and their therapies it becomes increasingly important to combine data from clinical trials with high volumes of e...
Toralf Kirsten, Jörg Lange, Erhard Rahm
CODES
1999
IEEE
15 years 10 months ago
Scheduling with optimized communication for time-triggered embedded systems
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
Paul Pop, Petru Eles, Zebo Peng